1016 search results - page 91 / 204 » Test Generation for Designs with On-Chip Clock Generators |
FCCM
2006
IEEE
14 years 3 months ago
2006
IEEE
In this paper, we investigate a combination of two techniques — instruction coding and instruction re-ordering — for optimizing energy in embedded processor control. We presen...
ATVA
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Priorities are often used to resolve conflicts in timed systems. However, priorities are not directly supported by state-of-art model checkers. Often, a designer has to ...
WPES
2003
ACM
14 years 2 months ago
2003
ACM
Traditionally, application software developers carry out their tests on their own local development databases. However, such local databases usually have only a small number of sa...
TVLSI
2008
13 years 9 months ago
2008
Recently, it has become possible to implement floating-point cores on field-programmable gate arrays (FPGAs) to provide acceleration for the myriad applications that require high-p...
DAC
2007
ACM
14 years 10 months ago
2007
ACM
Interrupt behaviors, especially the external ones, are difficult to verify in a microprocessor design project in that they involve both interacting hardware and software. This pap...