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

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

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Chang, Jui-Ming (VerfasserIn), Pedram, Massoud (VerfasserIn)
Format:	Elektronisch E-Book
Sprache:	English
Veröffentlicht:	Boston, MA Springer US 1999
Schlagworte:	Engineering Circuits and Systems Electrical Engineering Computer-Aided Engineering (CAD, CAE) and Design Computer-aided engineering Electrical engineering Electronic circuits
Online-Zugang:	DE-634 URL des Erstveröffentlichers
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!