DATE
2008
IEEE
13 years 11 months ago
2008
IEEE
We present several methods to generate modular code from synchronous hierarchical block diagrams. Modularity means code is generated for a given macro (i.e., composite) block inde...
DATE
2008
IEEE
13 years 11 months ago
2008
IEEE
As feature sizes decrease, power dissipation and heat generation density exponentially increase. Thus, temperature gradients in Multiprocessor Systems on Chip (MPSoCs) can serious...
DATE
2008
IEEE
13 years 11 months ago
2008
IEEE
With technology advances, the number of cores integrated on a chip and their speed of operation is increasing. This, in turn is leading to a significant increase in chip temperat...
DATE
2008
IEEE
13 years 11 months ago
2008
IEEE
DATE
2008
IEEE
13 years 11 months ago
2008
IEEE
This paper presents a concurrent error detection technique targeted towards control logic in a processor with emphasis on low area overhead. Rather than detect all modeled transie...
DATE
2008
IEEE
13 years 11 months ago
2008
IEEE
Embedded systems are often operating under hard real-time constraints. Such systems are naturally described as time-bound reactions to external events, a point of view made manife...
DATE
2008
IEEE
13 years 11 months ago
2008
IEEE
DATE
2008
IEEE
13 years 11 months ago
2008
IEEE
Modern embedded CPU systems rely on a growing number of software features, but this growth increases the memory footprint and increases the need for efficient instruction and data...
DATE
2008
IEEE
13 years 11 months ago
2008
IEEE
We present an improved algorithm for concretization of abstract eres in abstraction refinement-based invariant checking. The algorithm maps each transition of the abstract error ...
DATE
2008
IEEE
13 years 11 months ago
2008
IEEE
VLSI timing analysis and power estimation target the same circuit switching activity. Power estimation techniques are categorized as (1) static, (2) statistical, and (3) simulatio...