Sciweavers

Share
ICCD
2000
IEEE
120views Hardware» more  ICCD 2000»
10 years 4 months ago
Equivalence Checking Combining a Structural SAT-Solver, BDDs, and Simulation
This paper presents a veriļ¬cation technique for functional comparison of large combinational circuits using a novel combination of known approaches. The idea is based on a tight...
Viresh Paruthi, Andreas Kuehlmann
books