[IEEE Comput. Soc Sixth IEEE International High-Level Design Validation and Test Workshop - Monterey, CA, USA (7-9 Nov. 2001)] Sixth IEEE International High-Level Design Validation and Test Workshop - An enhanced cut-points algorithm in formal equivalence verification
Khasidashvili, Z., Moondanos, J., Kaiss, D., Hanna, Z.Year:
2001
Language:
english
DOI:
10.1109/hldvt.2001.972825
File:
PDF, 88 KB
english, 2001