Power optimization and synthesis at behavioral and system levels using formal methods
Jui-ming Chang, Jui-Ming Chang, Massoud Pedram · 1999
Where to buy
Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.
View on AmazonAbout the book
"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."--BOOK JACKET.
Book details
- Year
- 1999
- Language
- English
- Publisher
- Springer
- Editions
- 2
- Pages
- 192
- ISBN
- 9780792385608
Data source: Wikidata