5630 search results - page 796 / 1126 » Computability in Specification |
160
Voted
VLSID
2007
IEEE
16 years 7 months ago
2007
IEEE
Register file banking is an effective alternative to monolithic register files in embedded processor based systems. In this work, we propose techniques for performing application s...
161
Voted
VLSID
2007
IEEE
16 years 7 months ago
2007
IEEE
We present a technique for automatic verification of pipelined microprocessors using model checking. Antecedent conditioned slicing is an efficient abstraction technique for hardw...
172
click to vote
VLSID
2005
IEEE
16 years 7 months ago
2005
IEEE
In the streaming video processing domain, the only way to meet strict performance and quality requirements and yet to provide the area- and power-wise optimal platform is to apply...
161
click to vote
VLSID
2003
IEEE
16 years 7 months ago
2003
IEEE
There is an increasing need for obtaining a reasonably accurate estimate of energy dissipation in SoC designs. Array structures have a significant contribution to the total system...
179
click to vote
VLSID
2002
IEEE
16 years 7 months ago
2002
IEEE
In this paper, we present a functional partitioning method for low power real-time distributed embedded systems whose constituent nodes are systems-on-a-chip (SOCs). The systemlev...