Power Optimization and Synthesis at Behavioral and System Levels Using Formal Methods
Edition: 1st edition
Publisher: Springer
Published: June 30, 1999
Language: eng
Format: Hardcover
Number of pages: 192
ISBN-13: 9780792385608
Subjects: Circuits & components; Technology; Technology & Industrial Arts; Science/Mathematics; Electronics - Circuits - General; General; Computers : General; Technology / Electronics / Circuits / General; Electronics - Circuits - Integrated; Computer-aided design; Integrated Circuits; Low voltage integrated circuit; Low voltage integrated circuits; Very large scale integration
Description: "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.