259 search results - page 11 / 52 » Using Transformations and Verification in Circuit Design |
DATE
2009
IEEE
15 years 4 months ago
2009
IEEE
Traditional digital circuit synthesis flows start from an HDL behavioral definition and assume that circuit functions are almost completely defined, making don't-care conditio...
102
Voted
ENTCS
2008
15 years 13 days ago
2008
In model-based software development, a complete design and analysis process involves designing the system using the design language, converting it into the analysis language, and ...
COMPSAC
2003
IEEE
15 years 5 months ago
2003
IEEE
Software architecture and design are usually modeled and represented by informal diagrams, such as architecture diagrams and UML diagrams. While these graphic notations are easy t...
108
click to vote
DAC
1997
ACM
15 years 4 months ago
1997
ACM
Cr, As the complexity of high-performance microprocessor increases, functional verification becomes more and more difficult and RTL simulation emerges as the bottleneck of the des...
98
Voted
ATVA
2009
Springer
15 years 4 months ago
2009
Springer
We present a framework for certifying hardware designs generated through behavioral synthesis, by using formal verification to certify the associated synthesis transformations. We ...