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

Browse the full DAC paper archive.