![](/img/cover-not-exists.png)
[ACM Press the 2001 conference - Yokohama, Japan (2001..-..)] Proceedings of the 2001 conference on Asia South Pacific design automation - ASP-DAC '01 - An efficient design-for-verification technique for HDLs
Liu, Chien-Nan Jimmy, Chen, I-Ling, Jou, Jing-YangYear:
2001
DOI:
10.1145/370155.370291
File:
PDF, 393 KB
2001