3 search results - page 1 / 1 » Combinational Equivalence Checking Using Incremental SAT Sol... |
64
Voted
ASPDAC
2007
ACM
15 years 5 months ago
2007
ACM
103
click to vote
ICCAD
2006
IEEE
15 years 10 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...
112
click to vote
ICCD
2000
IEEE
15 years 5 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...