Combinational equivalence checking for threshold logic circuits

Proceedings of the 17th great lakes symposium on Great lakes symposium on VLSI - GLSVLSI '07 ◽

10.1145/1228784.1228813 ◽

2007 ◽

Author(s):

Tejaswi Gowda ◽

Sarma Vrudhula ◽

Goran Konjevod

Keyword(s):

Logic Circuits ◽

Equivalence Checking ◽

Threshold Logic

Download Full-text

Performance degradation due to extrinsic base encroachment in advanced narrow-emitter bipolar circuits. II. Non-threshold logic circuits

IEEE Transactions on Electron Devices ◽

10.1109/16.34240 ◽

1989 ◽

Vol 36 (9) ◽

pp. 1757-1763 ◽

Author(s):

C.T. Chuang

Keyword(s):

Logic Circuits ◽

Performance Degradation ◽

Threshold Logic ◽

Download Full-text

Partially Redundant Logic Detection Using Symbolic Equivalence Checking in Reversible and Irreversible Logic Circuits

2008 Design, Automation and Test in Europe ◽

10.1109/date.2008.4484932 ◽

2008 ◽

Author(s):

David Y. Feinstein ◽

Mitchell A. Thornton ◽

D. Michael Miller

Keyword(s):

Logic Circuits ◽

Equivalence Checking

Download Full-text

Understanding the Basic Advantages of Bulk FinFETs for Sub- and Near-Threshold Logic Circuits From Device Measurements

IEEE Transactions on Circuits & Systems II Express Briefs ◽

10.1109/tcsii.2012.2200171 ◽

2012 ◽

Vol 59 (7) ◽

pp. 439-442 ◽

Author(s):

F. Crupi ◽

M. Alioto ◽

J. Franco ◽

P. Magnone ◽

M. Togo ◽

...

Keyword(s):

Logic Circuits ◽

Threshold Logic ◽

Download Full-text

Synthesis of threshold logic circuits using tree matching

2007 18th European Conference on Circuit Theory and Design ◽

10.1109/ecctd.2007.4529730 ◽

2007 ◽

Author(s):

Tejaswi Gowda ◽

Samuel Leshner ◽

Sarma Vrudhula ◽

Goran Konjevod

Keyword(s):

Logic Circuits ◽

Threshold Logic

Download Full-text

Manipulating the conductance of single-walled carbon nanotubes based thin films for evolving threshold logic circuits using particle swarm optimisation

2016 IEEE Congress on Evolutionary Computation (CEC) ◽

10.1109/cec.2016.7748357 ◽

2016 ◽

Author(s):

F. Qaiser ◽

A. Kotsialos ◽

M. K. Massey ◽

D. A. Zeze ◽

C. Pearson ◽

...

Keyword(s):

Carbon Nanotubes ◽

Particle Swarm ◽

Single Walled Carbon Nanotubes ◽

Logic Circuits ◽

Particle Swarm Optimisation ◽

Threshold Logic ◽

Single Walled Carbon ◽

Walled Carbon Nanotubes

Download Full-text

Partially redundant logic detection using symbolic equivalence checking in reversible and irreversible logic circuits

2008 Design, Automation and Test in Europe ◽

10.1145/1403375.1403707 ◽

2008 ◽

Author(s):

David Y. Feinstein ◽

Mitchell A. Thornton ◽

D. Michael Miller

Keyword(s):

Logic Circuits ◽

Equivalence Checking

Download Full-text

BiCMOS active-pull-down non-threshold logic circuits for high-speed low-power applications

Proceedings of IEEE International Symposium on Circuits and Systems - ISCAS '94 ◽

10.1109/iscas.1994.409186 ◽

2002 ◽

Author(s):

K.M. Sharaf ◽

M.I. Elmasry

Keyword(s):

Low Power ◽

Logic Circuits ◽

Threshold Logic

Download Full-text

ATPG for transition faults of pipelined threshold logic circuits

2014 9th IEEE International Conference on Design & Technology of Integrated Systems in Nanoscale Era (DTIS) ◽

10.1109/dtis.2014.6850662 ◽

2014 ◽

Author(s):

Ashok kumar Palaniswamy ◽

Spyros Tragoudas ◽

Themistoklis Haniotakis

Keyword(s):

Logic Circuits ◽

Threshold Logic ◽

Transition Faults

Download Full-text

On the realization of threshold logic circuits

International Journal of Electronics ◽

10.1080/00207217408900498 ◽

1974 ◽

Vol 37 (1) ◽

pp. 79-82

Author(s):

RANA DATTAGUPTA ◽

DIPAK K. BASU

Keyword(s):

Logic Circuits ◽

Threshold Logic

Download Full-text

Analytic approaches to the collapse operation and equivalence verification of threshold logic circuits

Proceedings of the 35th International Conference on Computer-Aided Design - ICCAD '16 ◽

10.1145/2966986.2967001 ◽

2016 ◽

Author(s):

Nian-Ze Lee ◽

Hao-Yuan Kuo ◽

Yi-Hsiang Lai ◽

Jie-Hong R. Jiang

Keyword(s):

Logic Circuits ◽

Threshold Logic ◽

Equivalence Verification

Download Full-text