3498 search results - page 605 / 700 » Role Model Based Framework Design and Integration |
117
click to vote
DAC
2009
ACM
15 years 11 months ago
2009
ACM
The latest advancements in the commercial formal model checkers have enabled the integration of formal property verification with the conventional testbench based methods in the o...
139
click to vote
DAC
2008
ACM
16 years 5 months ago
2008
ACM
This paper discusses the use of networks-on-chip (NoCs) consisting of multiple voltage-frequency islands to cope with power consumption, clock distribution and parameter variation...
139
click to vote
DAC
2003
ACM
16 years 5 months ago
2003
ACM
The use of Support Vector Machines (SVMs) to represent the performance space of analog circuits is explored. In abstract terms, an analog circuit maps a set of input design parame...
108
click to vote
DAC
2004
ACM
15 years 10 months ago
2004
ACM
Grid-warping is a new placement algorithm based on a strikingly simple idea: rather than move the gates to optimize their location, we elastically deform a model of the 2-0 chip s...
129
click to vote
APVIS
2010
15 years 6 months ago
2010
This paper presents an interactive transfer function design tool based on ellipsoidal Gaussian transfer functions (ETFs). Our approach explores volumetric features in the statisti...