An edition of Power optimization and synthesis at behavioral and system levels using formal methods (1999)

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

1st edition

by , , and

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Cover of: Power Optimization and Synthesis at Behavioral and System Levels Using Formal Methods by Jui-Ming Chang, Massoud Pedram
Not in Library

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Notes

Check nearby libraries

Buy this book

Last edited by MARC Bot
July 17, 2024 | History
Edit
An edition of Power optimization and synthesis at behavioral and system levels using formal methods (1999)

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

1st edition

by , , and

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read

"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.

Publish Date
Publisher
Springer
Language
English
Pages
192

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 integration

Showing 4 featured editions. View all 4 editions?

Edition Availability
Cover of: Power optimization and synthesis at behavioral and system levels using formal methods
Power optimization and synthesis at behavioral and system levels using formal methods
1999, Kluwer
in English
Libraries near you: WorldCat
Cover of: Power optimization and synthesis at behavioral and system levels using formal methods
Power optimization and synthesis at behavioral and system levels using formal methods
1999, Kluwer
in English
Libraries near you: WorldCat
Cover of: Power Optimization and Synthesis at Behavioral and System Levels Using Formal Methods
Power Optimization and Synthesis at Behavioral and System Levels Using Formal Methods
June 30, 1999, Springer
Hardcover in English - 1st edition
  • Not in Library
Libraries near you: WorldCat
Cover of: Power Optimization and Synthesis at Behavioral and System Levels Using Formal Methods
Power Optimization and Synthesis at Behavioral and System Levels Using Formal Methods
1999, Island Press
in English
Libraries near you: WorldCat

Add another edition?

Book Details

Classifications

Library of Congress
TK7874.66 .C48 1999, TK7867-7867.5

The Physical Object

Format
Hardcover
Number of pages
192
Dimensions
9.2 x 6.1 x 0.5 inches
Weight
1 pounds

ID Numbers

Open Library
OL11152503M
ISBN 10
0792385608
ISBN 13
9780792385608
LCCN
99031819
OCLC/WorldCat
41320209
Goodreads
3413953

Source records

Library of Congress MARC record
Better World Books record
amazon.com record
marc_columbia MARC record

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
July 17, 2024 Edited by MARC Bot import existing book
November 15, 2022 Edited by ImportBot import existing book
February 25, 2022 Edited by ImportBot import existing book
December 1, 2020 Edited by MARC Bot import existing book
April 30, 2008 Created by an anonymous user Imported from amazon.com record