![](/img/cover-not-exists.png)
[IEEE Comput. Soc 2000 IEEE International Conference on Computer Design: VLSI in Computers and Processors. ICCD 2000 - Austin, TX, USA (17-20 Sept. 2000)] Proceedings 2000 International Conference on Computer Design - Equivalence checking combining a structural SAT-solver, BDDs, and simulation
Paruthi, V., Kuehlmann, A.Year:
2000
Language:
english
DOI:
10.1109/iccd.2000.878323
File:
PDF, 581 KB
english, 2000