Linear Logic Synthesis of Multi-Valued Sequential Circuits

Advances in Science Technology and Engineering Systems Journal ◽

10.25046/aj040654 ◽

2019 ◽

Vol 4 (6) ◽

pp. 430-442

Author(s):

Nikolay Butyrlagin ◽

Nikolay Chernov ◽

Nikolay Prokopenko ◽

Vladislav Yugai

Keyword(s):

Linear Logic ◽

Logic Synthesis ◽

Sequential Circuits

Download Full-text

Quantum Linear Logic Synthesis Algorithm Based on L-ESOP Reduction

Journal of Computer-Aided Design & Computer Graphics ◽

10.3724/sp.j.1089.2018.16567 ◽

2018 ◽

Vol 30 (8) ◽

pp. 1579

Author(s):

Lihua Wei ◽

Pengcheng Zhu ◽

Zhijin Guan

Keyword(s):

Linear Logic ◽

Logic Synthesis ◽

Synthesis Algorithm

Download Full-text

Reversible Logic Synthesis of Sequential Circuits

International Journal of Computer Applications ◽

10.5120/ijca2015906999 ◽

2015 ◽

Vol 129 (11) ◽

pp. 29-32

Author(s):

Shaunak Basu ◽

Subhashree Basu

Keyword(s):

Logic Synthesis ◽

Reversible Logic ◽

Sequential Circuits ◽

Reversible Logic Synthesis

Download Full-text

The linear logic synthesis of k-valued digital structures in the analogous circuitry basis

Proceedings of IEEE East-West Design & Test Symposium (EWDTS 2014) ◽

10.1109/ewdts.2014.7027070 ◽

2014 ◽

Author(s):

Nikolay N. Prokopenko ◽

Nikolay I. Chernov ◽

Vladislav Ya. Yugai

Keyword(s):

Linear Logic ◽

Logic Synthesis

Download Full-text

Efficient Pass-Transistor-Logic Synthesis for Sequential Circuits

APCCAS 2006 - 2006 IEEE Asia Pacific Conference on Circuits and Systems ◽

10.1109/apccas.2006.342077 ◽

2006 ◽

Author(s):

Shen-Fu Hsiao ◽

Ming-Yu Tsai ◽

Chia-Sheng Wen

Keyword(s):

Logic Synthesis ◽

Sequential Circuits ◽

Pass Transistor ◽

Pass Transistor Logic ◽

Download Full-text

Logic Synthesis for Hybrid CMOS-ReRAM Sequential Circuits

2019 IEEE Computer Society Annual Symposium on VLSI (ISVLSI) ◽

10.1109/isvlsi.2019.00084 ◽

2019 ◽

Author(s):

Saman Frohlich ◽

Saeideh Shirinzadeh ◽

Rolf Drechsler

Keyword(s):

Logic Synthesis ◽

Sequential Circuits ◽

Download Full-text

Advances in Linear Logic

10.1017/cbo9780511629150 ◽

1995 ◽

Keyword(s):

Download Full-text

Power Optimization of Sequential Circuits Using Switching Activity Based Clock Gating

IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences ◽

10.1587/transfun.e93.a.2472 ◽

2010 ◽

Vol E93-A (12) ◽

pp. 2472-2480 ◽

Author(s):

Xin MAN ◽

Takashi HORIYAMA ◽

Shinji KIMURA

Keyword(s):

Power Optimization ◽

Sequential Circuits ◽

Switching Activity ◽

Download Full-text

Quaternary reversible logic synthesis based on GF(4) Shannon expansion

Advanced Computer Control ◽

10.2495/icacc130171 ◽

2014 ◽

Author(s):

Lu Cangang ◽

Guan Zhijin ◽

He Jinfeng

Keyword(s):

Logic Synthesis ◽

Reversible Logic ◽

Reversible Logic Synthesis

Download Full-text

Algorithm of Optimizing Quantum Reversible Logic Synthesis

Journal of Software ◽

10.3724/sp.j.1001.2009.03407 ◽

2009 ◽

Vol 20 (9) ◽

pp. 2332-2343

Author(s):

Zhi-Qiang LI ◽

Wen-Qian LI ◽

Han-Wu CHEN

Keyword(s):

Logic Synthesis ◽

Reversible Logic ◽

Reversible Logic Synthesis

Download Full-text

Incremental Methods for Formal Verification and Logic Synthesis

SSRN Electronic Journal ◽

10.2139/ssrn.3702088 ◽

1996 ◽

Author(s):

Gitanjali Swamy

Keyword(s):

Formal Verification ◽

Logic Synthesis ◽

Incremental Methods

Download Full-text