by Jui-ming Chang, Jui-Ming Chang, Massoud Pedram
"Power Optimization and Synthesis at Behavioral and System Levels Using Formal Methods was written to address some of the key problems in power analysis and optimization early in the design process…