Sciweavers

Share
GLVLSI
2008
IEEE

SAT-based equivalence checking of threshold logic designs for nanotechnologies

10 years 6 months ago
SAT-based equivalence checking of threshold logic designs for nanotechnologies
Novel nano-scale devices have shown promising potential to overcome physical barriers faced by complementary metaloxide semiconductor (CMOS) technology in future circuit design. However, many nanotechnologies are intrinsically suitable for implementing threshold logic rather than Boolean logic which has dominated CMOS technology in the past. To fully take advantage of such emerging nanotechnologies, efficient design automation tools for threshold logic therefore become essential. In this work, we propose novel techniques of formulating a given threshold logic in conjunctive normal form (CNF) that facilitates efficient SAT-based equivalence checking. Three different strategies of CNF generation from threshold logic representations are implemented. Experimental results based on MCNC benchmarks are presented as a complete comparison. Our hybrid algorithm, which takes into account input symmetry as well as input weight order of threshold gates, can efficiently generate CNF formulas in t...
Yexin Zheng, Michael S. Hsiao, Chao Huang
Added 29 May 2010
Updated 29 May 2010
Type Conference
Year 2008
Where GLVLSI
Authors Yexin Zheng, Michael S. Hsiao, Chao Huang
Comments (0)
books