Check nearby libraries
Buy this 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.
Check nearby libraries
Buy this book
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 integrationShowing 4 featured editions. View all 4 editions?
Edition | Availability |
---|---|
1
Power Optimization and Synthesis at Behavioral and System Levels Using Formal Methods
June 30, 1999, Springer
Hardcover
in English
- 1st edition
0792385608 9780792385608
|
aaaa
Libraries near you:
WorldCat
|
2
Power optimization and synthesis at behavioral and system levels using formal methods
1999, Kluwer
in English
0792385608 9780792385608
|
zzzz
Libraries near you:
WorldCat
|
3
Power Optimization and Synthesis at Behavioral and System Levels Using Formal Methods
1999, Island Press
in English
1461552001 9781461552000
|
zzzz
Libraries near you:
WorldCat
|
4
Power optimization and synthesis at behavioral and system levels using formal methods
1999, Kluwer
in English
0792385608 9780792385608
|
zzzz
Libraries near you:
WorldCat
|
Book Details
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?July 17, 2024 | Edited by MARC Bot | import existing book |
February 25, 2022 | Edited by ImportBot | import existing book |
July 31, 2019 | Edited by MARC Bot | associate edition with work OL13184964W |
January 26, 2010 | Edited by WorkBot | add more information to works |
December 11, 2009 | Created by WorkBot | add works page |