10718 search results - page 182 / 2144 » On the Circuit Implementation Problem |
128
click to vote
EMSOFT
2004
Springer
15 years 7 months ago
2004
Springer
High-level programming languages offer significant expressivity but provide little or no guarantees about resource use. Resourcebounded languages -- such as hardware-description l...
124
click to vote
DAC
2005
ACM
15 years 6 months ago
2005
ACM
Finding all satisfying assignments of a propositional formula has many applications in the design of hardware and software. An approach to this problem augments a clause-recording...
152
click to vote
ICCAD
2009
IEEE
15 years 1 months ago
2009
IEEE
In this paper, we propose a new technique, referred to as virtual probe (VP), to efficiently measure, characterize and monitor both inter-die and spatially-correlated intra-die va...
116
Voted
ASPDAC
2005
ACM
15 years 6 months ago
2005
ACM
Abstract— This paper presents a post-route gate-sizing algorithm for coupling-noise reduction that constrains the yield loss under process variations. Algorithms for coupling-noi...
149
click to vote
UAI
1996
15 years 5 months ago
1996
In this paper we propose a family of algorithms combining treeclustering with conditioning that trade space for time. Such algorithms are useful for reasoning in probabilistic and...