Login / Signup
Event propagation for accurate circuit delay calculation using SAT.
Suchismita Roy
P. P. Chakrabarti
Pallab Dasgupta
Published in:
ACM Trans. Design Autom. Electr. Syst. (2007)
Keyphrases
</>
high accuracy
power dissipation
high speed
computationally efficient
event detection
highly accurate
social networks
neural network
satisfiability problem
power consumption
stochastic local search
event driven
sat problem
sat solvers
news articles
control system
search algorithm
high quality
genetic algorithm