Book Search Results
Power Optimization And Synthesis At Behavioral And System Levels Using Formal Methods
Find "Power Optimization And Synthesis At Behavioral And System Levels Using Formal Methods" through these Search Results from the best data sources on the web and enjoy your read!
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Power optimization and synthesis at behavioral and system levels using formal methods
By Jui-ming Chang, Jui-Ming Chang and Massoud Pedram

“Power optimization and synthesis at behavioral and system levels using formal methods” Metadata:
- Title: ➤ Power optimization and synthesis at behavioral and system levels using formal methods
- Authors: Jui-ming ChangJui-Ming ChangMassoud Pedram
- Language: English
- Number of Pages: Median: 167
- Publisher: ➤ Springer - Island Press - Kluwer
- Publish Date: 1999
- Publish Location: Boston
“Power optimization and synthesis at behavioral and system levels using formal methods” Subjects and Themes:
- 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
Edition Identifiers:
- The Open Library ID: OL21586648M - OL50682455M - OL11152503M - OL20642791M
- Online Computer Library Center (OCLC) ID: 41320209
- Library of Congress Control Number (LCCN): 99031819
- All ISBNs: 1461552001 - 9780792385608 - 9781461552000 - 0792385608
Access and General Info:
- First Year Published: 1999
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Power optimization and synthesis at behavioral and system levels using formal methods at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Power Optimization and Synthesis at Behavioral and System Levels Using Formal Methods
By Jui-Ming Chang

“Power Optimization and Synthesis at Behavioral and System Levels Using Formal Methods” Metadata:
- Title: ➤ Power Optimization and Synthesis at Behavioral and System Levels Using Formal Methods
- Author: Jui-Ming Chang
- Language: English
- Number of Pages: Median: 167
- Publisher: Springer US
- Publish Date: 1999
- Publish Location: Boston, MA
“Power Optimization and Synthesis at Behavioral and System Levels Using Formal Methods” Subjects and Themes:
- Subjects: Systems engineering - Engineering - Computer-aided design - Computer engineering
Edition Identifiers:
- The Open Library ID: OL27082022M
- Online Computer Library Center (OCLC) ID: 851778484
- All ISBNs: 1461551994 - 9781461373681 - 9781461551997 - 1461373689
Access and General Info:
- First Year Published: 1999
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Power Optimization and Synthesis at Behavioral and System Levels Using Formal Methods at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
Buy “Power Optimization And Synthesis At Behavioral And System Levels Using Formal Methods” online:
Shop for “Power Optimization And Synthesis At Behavioral And System Levels Using Formal Methods” on popular online marketplaces.
- Ebay: New and used books.