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

Power Optimization and Synthesis at Behavioral and System Levels Using Formal Methods by Jui-Ming Chang, Massoud Pedram.

Integrated circuit densities and operating speeds continue to rise at an exponential rate. Chips, however, cannot get larger and faster without a sharp decrease in power consumption beyond the current levels. Minimization of power consumption in VLSI chips has thus become an important design objecti...

Full description

Saved in:
Bibliographic Details
Main Authors: Chang, Jui-Ming (Author), Pedram, Massoud (Author)
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: New York, NY : Springer US : Imprint: Springer, 1999.
Edition:1st ed. 1999.
Series:Springer eBook Collection.
Subjects:
Electronic circuits.
Electrical engineering.
Computer-aided engineering.
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Login for hold information

‌

Click to view e-book

Online

Holdings details from Online
Call Number: E-Book
Status: Available

Similar Items