Beispielbild für diese ISBN

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

Chang, Jui-Ming; Pedram, Massoud

Verlag: Kluwer Academic Publishers, Boston, 1999
ISBN 10: 0792385608 / ISBN 13: 9780792385608
Gebraucht / hardcover / Anzahl: 1
Verkäufer PsychoBabel & Skoob Books (Abingdon, OXON, Vereinigtes Königreich)
Bei weiteren Verkäufern erhältlich
Alle  Exemplare dieses Buches anzeigen
In den Warenkorb legen
Preis: EUR 41,82
Währung umrechnen
Versand: EUR 5,61
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer

Für später vormerken

Über dieses Buch

Bibliografische Details

Titel: Power Optimization and Synthesis at ...

Verlag: Kluwer Academic Publishers, Boston

Erscheinungsdatum: 1999

Einband: hardcover

Zustand: Very Good

Zustand des Schutzumschlags: No Dust Jacket

Art des Buches: Used


Name from previous owner on FEP. Instances of moderate surface wear including a small scratched mark on upper from cover. Otherwise binding is well preserved. No dust jacket. Pages are clean and crisp, and printing is tight, clean and bright throughout. MB. Buchnummer des Verkäufers 248181

Über diesen Titel:

Bewertung (bereitgestellt von GoodReads):
0 durchschnittlich
(0 Bewertungen)

Inhaltsangabe: 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 objective. In fact, with the explosive growth in demand for portable electronics and the usual push toward more complex functionality and higher performance, power consumption has in many cases become the limiting factor in satisfying the market demand. A new generation of power-conscious CAD tools are coming onto the market to help designers estimate, optimize and verify power consumption levels at most stages of the IC design process. These tools are especially prevalent at the register-transfer level and below. There is a great need for similar tools and capabilities at the behavioral and system levels of the design process. Many researchers and CAD tool developers are working on high-level power modeling and estimation, as well as power-constrained high-level synthesis and optimization. Techniques and tools alone are, however, insufficient to optimize VLSI circuit power dissipation - a consistent and convergent design methodology is also required. 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. From the Foreword: 'This book makes an important contribution to the field of system design technologies by presenting a set of algorithms with guaranteed optimality properties, that can be readily applied to system-level design. This contribution is timely, because it fills the need of new methods for a new design tool generation, which supports the design of electronic systems with even more demanding requirements'. Giovanni De Micheli, Professor, Stanford University

Contenuti: List of Figures. List of Tables. Preface. 1. Introduction. 2. Register Allocation and Binding. 3. Power-Optimal Module Allocation and Binding. 4. Multiple Supply Voltage Scheduling. 5. Co-Design of Communicating Systems. 6. Conclusion. References. Index.b

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieter- & Zahlungsinformationen


Dieser Anbieter akzeptiert die folgenden Zahlungsarten:

  • American Express
  • Bankwechsel
  • Banküberweisung
  • Carte Bleue
  • EuroCard/MasterCard
  • PayPal
  • Visa

[Im Angebot des Anbieters suchen]

[Alle Bücher des Anbieters anzeigen]

[Dem Anbieter eine Frage stellen]

Anbieter: PsychoBabel & Skoob Books
Adresse: Abingdon, OXON, Vereinigtes Königreich

AbeBooks Verkäufer seit: 6. Oktober 2003
Bewertung: 5 Sterne


To pay by PayPal, just paste this link into your browser: PsychoBabel Books in Oxfordshire and Skoob Books in London (Russell Square Tube) are solely owned by Chris Edwards, 56b Jubilee Avenue, Milton Park, Abingdon Oxfordshire. OX14 4RX. Prompt dispatch on clearance of payment. If any doubt about condition of book in addition to that described please e-mail or call. PsychoBabel & Skoob Books 56b Jubilee Avenue, Milton Park Abingdon, Oxfordshire OX14 4RX Telephone 0123...

[Mehr Information]


We post every weekday! All shipping quotes are based on fast efficient service with the best possible packaging.
Standard charge is based on average weight of books - about 0.9Kg. Heavy items (over 1.5Kg) may require extra postage depending on destination. We'll e-mail you if necessary.

Anbieterinformationen: To pay by PayPal, just paste this link into your browser: PsychoBabel Books in Oxfordshire and Skoob Books in London (Russell Square Tube)are run and owned by Chris Edwards operating as a sole trader. We have bought all our books and take great care with the storage and listing of each one. As well as over 107,000 listings we have nearly 100,000 in our London shop and probably five times as many awaiting attention in the warehouse. We have been selling with a five-star rating continuously sine 2003 on AbeBooks. PsychoBabel and Skoob buy from private individuals and prestigious libraries. We are NOT 'barcoders' but dedicated book lovers, offering an excellent service. We enjoy receiving phone calls and we handle each order individually. We dispatch our orders daily and accommodate customers all over the world. Our wonderful packaging is not charged for. Please email or call with any queries or requests for photos.