A C-Based RTL Design Verification Methodology for Complex Microprocessor.

Joon-Seo Yim Yoon-Ho Hwang Chang-Jae Park Hoon Choi Woo-Seung Yang Hun-Seung Oh In-Cheol Park Chong-Min Kyung A C-Based RTL Design Verification Methodology for Complex Microprocessor. 83-88 1997 DAC http://doi.acm.org/10.1145/266021.266040 db/conf/dac/dac97.html#YimHPCYOPK97