[IEEE 2006 Formal Methods in Computer Aided Design - San Jose, CA (2006.11.12-2006.11.12)] 2006 Formal Methods in Computer Aided Design - Post-reboot Equivalence and Compositional Verification of Hardware
Khasidashvili, Zurab, Skaba, Marcelo, Kaiss, Daher, Hanna, ZiyadYear:
2006
Language:
english
DOI:
10.1109/FMCAD.2006.25
File:
PDF, 352 KB
english, 2006