Title: Power optimization and synthesis at behavioral and system levels using formal methods
First published: 1999
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.
Subjects: Computer-aided design, Very large scale integration, Low voltage integrated circuits, Integrated circuits, Circuits & components, Technology, Technology & Industrial Arts, Science/Mathematics, Electronics - Circuits - General, General, Computers : General, Technology / Electronics / Circuits / General, Electronics - Circuits - Integrated, Low voltage integrated circuit, Integrated circuits, very large scale integration
LC classification: TK7874.66 .C48 1999