Power Optimization and Synthesis at Behavioral and System Levels Using Formal Methods

Authors:
Jui-Ming Chang;Massoud Pedram
Affiliations:
-;-
Venue:
Power Optimization and Synthesis at Behavioral and System Levels Using Formal Methods
Year:
1999

Citing 0
Cited 3

Power optimization and management in embedded systems

Proceedings of the 2001 Asia and South Pacific Design Automation Conference
Moment-Based Power Estimation in Very Deep Submicron Technologies

Proceedings of the 2003 IEEE/ACM international conference on Computer-aided design
Multiple voltage and frequency scheduling for power minimization

Journal of Systems Architecture: the EUROMICRO Journal - Special issue: Reconfigurable embedded systems: Synthesis, design and application

Quantified Score

Hi-index	0.00

Visualization

Abstract

From the Publisher: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. In particular, this book focuses on power macro-modeling based on regression analysis and power minimization through behavioral transformations, scheduling, resource assignment and hardware/software partitioning and mapping. What differentiates this book from other published work on the subject is the mathematical basis and formalism behind the algorithms and the optimality of these algorithms subject to the stated assumptions.