A C-based RTL Design Verification Methodology For Complex Microprocessor

Saved in:
Bibliographic Details
Published inProceedings of the 34th Design Automation Conference pp. 83 - 88
Main Authors Joon-Seo Yim, Yoon-Ho Hwang, Chang-Jae Park, Hoon Choi, Woo-Seung Yang, Hun-Seung Oh, In-Cheol Park, Chong-Min Kyung
Format Conference Proceeding
LanguageEnglish
Published IEEE 1997
Subjects
Circuit simulation
Clocks
Design methodology
Discrete event simulation
Formal verification
Hardware design languages
Microprocessors
Permission
Polarization
Timing
Online AccessGet full text

Cover

More Information
ISBN:0780340930
9780780340930
ISSN:0738-100X
DOI:10.1109/DAC.1997.597122