10718 search results - page 509 / 2144 » On the Circuit Implementation Problem |
196
click to vote
ICALP
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We study – within the framework of propositional proof complexity – the problem of certifying unsatisfiability of CNF formulas under the promise that any satisfiabl...
199
click to vote
ETS
2006
IEEE
16 years 1 months ago
2006
IEEE
A central problem in built-in self test (BIST) is how to efficiently generate a small set of test vectors that detect all targeted faults. We propose a novel solution that uses l...
137
click to vote
ACSD
2005
IEEE
16 years 21 days ago
2005
IEEE
Perfectly synchronous systems immediately react to the inputs of their environment, which may lead to so-called causality cycles between actions and their trigger conditions. Algo...
174
click to vote
DATE
2005
IEEE
16 years 21 days ago
2005
IEEE
- The problem of determining lower bounds for the energy cost of a given nanoscale design is addressed via a complexity theory-based approach. This paper provides a theoretical fra...
193
click to vote
ISQED
2005
IEEE
16 years 20 days ago
2005
IEEE
— Multiple power supply voltages are often used in modern high performance ICs such as microprocessors to decrease power consumption without affecting circuit speed. The system o...