[IEEE ASP-DAC '97: Asia and South Pacific Design Automation Conference - Chiba, Japan (28-31 Jan. 1997)] Proceedings of ASP-DAC '97: Asia and South Pacific Design Automation Conference - AQUILA: An equivalence verifier for large sequential circuits
Shi-Yu Huang,, Kwang-Ting Cheng,, Kuang-Chien Chen,Year:
1997
Language:
english
DOI:
10.1109/aspdac.1997.600302
File:
PDF, 722 KB
english, 1997