Author:
Vasudevan Shobha,Viswanath Vinod,Abraham Jacob A.,Tu JiaJin
Publisher
Springer Science and Business Media LLC
Subject
Hardware and Architecture,Software
Reference26 articles.
1. Abraham JA, Vedula VM, Saab DG (2002) Verifying properties using sequential ATPG. In: Proceedings of the IEEE international test conference, pp 194–200
2. Anastasakis D, Damiano R, Ma H-KT, Stanion T (2002) A practical and efficient method for compare-point matching. In: Proceedings of the 39th design automation conference, pp 305–310
3. Black DC, Donovan J (2005) SystemC: From the ground up. Springer, Berlin
4. Burch JR, Singhal V (1998) Robust latch mapping for combinational equivalence checking. In: Proceedings of the IEEE/ACM international conference on computer-aided design, pp. 563–569
5. Cai L, Gajski D (2003) Transaction level modeling: an overview. In: Proceedings of the 1st IEEE/ACM/IFIP international conference on hardware/software codesign and system synthesis, pp 19–24
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献