2 search results - page 1 / 1 » High-Level vs. RTL Combinational Equivalence: An Introductio... |
ICCD
2006
IEEE
16 years 10 hour ago
2006
IEEE
138
click to vote
DAC
2006
ACM
16 years 4 months 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...