8 search results - page 1 / 2 » Maximum circuit activity estimation using pseudo-boolean sat... |
DATE
2007
IEEE
13 years 11 months ago
2007
IEEE
DAC
1998
ACM
14 years 5 months ago
1998
ACM
In this paper we present a statistical method for estimating the maximum power consumption in VLSI circuits. The method is based on the theory of extreme order statistics applied ...
VLSID
2002
IEEE
14 years 5 months ago
2002
IEEE
Switching activity estimation is a crucial step in estimating dynamic power consumption in CMOS circuits. In [1], we proposed a new switching probability model based on Bayesian N...
MJ
2007
13 years 4 months ago
2007
Recent algorithmic advances in Boolean satisfiability (SAT), along with highly efficient solver implementations, have enabled the successful deployment of SAT technology in a wi...
ICALP
2010
Springer
13 years 9 months ago
2010
Springer
The placement of regenerators in optical networks has become an active area of research during the last years. Given a set of lightpaths in a network G and a positive integer d, re...