125
Voted
VLSID
16 years 26 days ago
2008 IEEE 
This paper demonstrates a formal verificationplanning process and presents associated verification strategy that we believe is an essential (yet often neglected) step in an ASIC o...
125
click to vote
VLSID
15 years 6 months ago
2008 IEEE
The last decade has seen a phenomenal increase in the use of electronic components in automotive systems, resulting in the replacement of purely mechanical or hydraulic-implementa...
102
Voted
VLSID
16 years 26 days ago
2008 IEEE
Power consumption, physical size, and architecture design of sensor node processors have been the focus of sensor network research in the architecture community. What lies at the ...
95
Voted
VLSID
16 years 26 days ago
2008 IEEE
Compared to subthreshold leakage, dynamic power is normally much less sensitive to the process variation due to its approximately linear relation to the process parameters. Howeve...
VLSID
16 years 26 days ago
2008 IEEE
Worst-case execution time (WCET) analysis and, in general, the predictability of real-time applications implemented on multiprocessor systems has been addressed only in very restri...
|
VLSI