Login / Signup
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
Published in:
DAC (1997)
Keyphrases
</>
design methodology
functional verification
conceptual framework
information retrieval
computer aided
physical design
data sets
artificial intelligence
case study
high level
software architecture
design principles
real time
engineering design
design decisions
formal methods
design considerations
hardware design