3 search results - page 1 / 1 » Combinational Equivalence Checking Using Incremental SAT Sol... |
ASPDAC
2007
ACM
13 years 8 months ago
2007
ACM
ICCAD
2006
IEEE
14 years 1 months ago
2006
IEEE
The paper explores several ways to improve the speed and capacity of combinational equivalence checking based on Boolean satisfiability (SAT). State-of-the-art methods use simulat...
ICCD
2000
IEEE
13 years 9 months ago
2000
IEEE
This paper presents a verification technique for functional comparison of large combinational circuits using a novel combination of known approaches. The idea is based on a tight...