[Lecture Notes in Computer Science] Integrated Circuit Design. Power and Timing Modeling, Optimization and Simulation Volume 2451 || Robust SAT-Based Search Algorithm for Leakage Power Reduction
Hochet, Bertrand, Acosta, Antonio J., Bellido, Manuel J.Volume:
10.1007/3-
Year:
2002
Language:
english
DOI:
10.1007/3-540-45716-x_17
File:
PDF, 360 KB
english, 2002