15792 search results - page 2629 / 3159 » Computational Abstraction Steps |
174
click to vote
DAC
1998
ACM
16 years 8 months ago
1998
ACM
Abstract-Our strategy for automatic generation of functional vectors is based on exercising selected paths in the given hardware description language (HDL) model. The HDL model des...
161
click to vote
DAC
1998
ACM
16 years 8 months ago
1998
ACM
Successive, formal refinement is a new approach for specification of embedded systems using a general-purpose programming language. Systems are formally modeled as Abstractable Sy...
177
click to vote
DAC
2001
ACM
16 years 8 months ago
2001
ACM
Currently, hardware intellectual property (IP) is delivered at vels of abstraction: hard, firm, and soft. In order to further enhance performance, efficiency, and flexibility of I...
207
click to vote
DAC
2002
ACM
16 years 8 months ago
2002
ACM
One of the primary challenges in embedded system design is designing the memory hierarchy and restructuring the application to take advantage of it. This task is particularly impo...
209
click to vote
DAC
2003
ACM
16 years 8 months ago
2003
ACM
In the Artemis project [13], design space exploration of embedded systems is provided by modeling application behavior and architectural performance constraints separately. Mappin...