259 search results - page 32 / 52 » Using Transformations and Verification in Circuit Design |
EMSOFT
2008
Springer
15 years 2 months ago
2008
Springer
Relations between models are important for effective automatic validation, for comparing implementations with specifications, and for increased understanding of embedded systems d...
92
Voted
ICCAD
1995
IEEE
15 years 4 months ago
1995
IEEE
—A problem in technology mapping is that the quality of the final implementation depends significantly on the initially provided circuit structure. This problem is critical, es...
195
Voted
POPL
2008
ACM
16 years 23 days ago
2008
ACM
Translation validation consists of transforming a program and a posteriori validating it in order to detect a modification of its semantics. This approach can be used in a verifie...
82
Voted
DATE
2007
IEEE
15 years 6 months ago
2007
IEEE
: - The rising complexity of modern embedded systems is causing a significant increase in the verification effort required by hardware designers and software developers, leading to...
118
click to vote
CASES
2010
ACM
14 years 9 months ago
2010
ACM
Approximate arithmetic is a promising, new approach to lowenergy designs while tackling reliability issues. We present a method to optimally distribute a given energy budget among...