Bounded delay timing analysis and power estimation using SAT.

Suchismita Roy P. P. Chakrabarti Pallab Dasgupta

Published in: Microelectron. J. (2010)

Keyphrases

power consumption
sat solvers
satisfiability problem
power dissipation
search algorithm
orders of magnitude
phase transition
max sat
search strategies
robust estimation