An Efficient Logic Equivalence Checker for Industrial Circuits

ISSN： 0923-8174

Source： Journal of Electronic Testing, Vol.16, Iss.1-2, 2000-02, pp. : 91-106

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

An efficient program for analysis of interconnect circuits

By Sungur Mustafa Ekinci A. Suat Atalar Abdullah

International Journal of Electronics, Vol. 82, Iss. 6, 1997-06 ,pp. : 641-654

Taylor & Francis Ltd

Access to resources Recommend Favorite

Timing-driven logic restructuring for nano-hybrid circuits

By Chu Zhufei

International Journal of Electronics, Vol. 100, Iss. 5, 2013-05 ,pp. : 669-685

Taylor & Francis Ltd

Access to resources Recommend Favorite

Defect-tolerant Logic with Nanoscale Crossbar Circuits

By Hogg Tad

Journal of Electronic Testing, Vol. 23, Iss. 2-3, 2007-06 ,pp. : 117-129

Springer Publishing Company

Access to resources Recommend Favorite

High performance mixed-logic asynchronous datapaths with overlapped execution circuits

By Corsonello Pasquale Perri Stefania Cocorullo Giuseppe

International Journal of Electronics, Vol. 87, Iss. 10, 2000-10 ,pp. : 1193-1208

Taylor & Francis Ltd

Access to resources Recommend Favorite

Power optimization of multi-level logic circuits utilizing circuit symmetries

By Chung Ki-Seok Kim Taewhan Liu C. L.

International Journal of Electronics, Vol. 87, Iss. 7, 2000-07 ,pp. : 853-864

Taylor & Francis Ltd

Access to resources Recommend Favorite