Reference model based RTL verification: an integrated approach

William N. N. Hung, Naren Narasimhan. Reference model based RTL verification: an integrated approach. In Ninth IEEE International High-Level Design Validation and Test Workshop 2004, Sonoma Valley, CA, USA, November 10-12, 2004. pages 9-13, IEEE Computer Society, 2004. [doi]

Authors

William N. N. Hung

This author has not been identified. Look up 'William N. N. Hung' in Google

Naren Narasimhan

This author has not been identified. Look up 'Naren Narasimhan' in Google