2 search results - page 1 / 1 » High-Level vs. RTL Combinational Equivalence: An Introductio... |
ICCD
2006
IEEE
15 years 8 months ago
2006
IEEE
100
click to vote
DAC
2006
ACM
16 years 19 days ago
2006
ACM
Ever-growing complexity is forcing design to move above RTL. For example, golden functional models are being written as clearly as possible in software and not optimized or intend...