3 search results - page 1 / 1 » Combinational Equivalence Checking Using Incremental SAT Sol... |
84
Voted
ASPDAC
2007
ACM
15 years 7 months ago
2007
ACM
128
Voted
ICCAD
2006
IEEE
16 years 18 days 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...
132
Voted
ICCD
2000
IEEE
15 years 8 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...