Energy-delay minimization in nanoscale domino logic.

Bo Fu Qiaoyan Yu Paul Ampadu

Published in: ACM Great Lakes Symposium on VLSI (2006)

Keyphrases

energy minimization
modal logic
logic programming
energy saving
predicate logic
low energy
real time
energy efficiency
critical path
energy consumption
temporal logic
probability theory
automated reasoning
digital circuits