215
click to vote
ASPDAC
2008
ACM
15 years 9 months ago
2008
ACM
The quality of the input system model has a direct bearing on the effectiveness of the system exploration and synthesis tools. Given a well-structured system model, tools today are...
224
click to vote
ASPDAC
2008
ACM
15 years 9 months ago
2008
ACM
In the nanometer manufacturing region, process variation causes significant uncertainty for circuit performance verification. Statistical static timing analysis (SSTA) is thus dev...
176
click to vote
ASPDAC
2008
ACM
15 years 9 months ago
2008
ACM
-- Nowadays many design space exploration tools are based on Multi
151
Voted
ASPDAC
2008
ACM
15 years 9 months ago
2008
ACM
As VLSI fabrication technology progresses to 65nm feature sizes and smaller, transistors no longer operate as ideal switches. This motivates the verification of digital circuits us...