Logic Circuit Equivalence Checking Using Haar Spectral Coefficients and Partial BDDs

Author： Thornton M. A.   Drechsler R.   Günther W.  

Publisher： Taylor & Francis Ltd

ISSN： 1065-514X

Source： VLSI Design, Vol.14, Iss.1, 2002-01, pp. : 53-64

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

Hardness of equivalence checking for composed finite-state systems

By Sawa Zdeněk  

Acta Informatica, Vol. 46, Iss. 3, 2009-05 ,pp. : 169-191

Springer Publishing Company

Access to resources Recommend Favorite

Efficient algorithms for checking the equivalence of multistage interconnection networks

By Calamoneri T.   Massini A.  

Journal of Parallel and Distributed Computing, Vol. 64, Iss. 1, 2004-01 ,pp. : 135-150

Elsevier

Access to resources Recommend Favorite

Automated Analysis of Mass Spectral Data Using Fuzzy Logic Classification

By Scott Jill R.   McJunkin Timothy R.   Tremblay Paul L.  

Journal of the Association for Laboratory Automation, Vol. 8, Iss. 2, 2003-04 ,pp. : 61-63

Association for Laboratory Automation

Access to resources Recommend Favorite

Inductive equivalence in clausal logic and nonmonotonic logic programming

By Sakama Chiaki   Inoue Katsumi  

Machine Learning, Vol. 83, Iss. 1, 2011-04 ,pp. : 1-29

Springer Publishing Company

Access to resources Recommend Favorite

Coverage metrics for temporal logic model checking*

By Chockler Hana   Kupferman Orna   Vardi Moshe  

Formal Methods in System Design, Vol. 28, Iss. 3, 2006-05 ,pp. : 189-212

Springer Publishing Company

Access to resources Recommend Favorite