Cantitate/Preț
Produs

Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications

Autor Gaurav Singh, Sandeep Kumar Shukla
en Limba Engleză Paperback – 18 sep 2014
Human lives are getting increasingly entangled with technology, especially comp- ing and electronics. At each step we take, especially in a developing world, we are dependent on various gadgets such as cell phones, handheld PDAs, netbooks, me- cal prosthetic devices, and medical measurement devices (e.g., blood pressure m- itors, glucometers). Two important design constraints for such consumer electronics are their form factor and battery life. This translates to the requirements of reduction in the die area and reduced power consumption for the semiconductor chips that go inside these gadgets. Performance is also important, as increasingly sophisticated applications run on these devices, and many of them require fast response time. The form factor of such electronics goods depends not only on the overall area of the chips inside them but also on the packaging, which depends on thermal ch- acteristics. Thermal characteristics in turn depend on peak power signature of the chips. As a result, while the overall energy usage reduction increases battery life, peak power reduction in?uences the form factor. One more important aspect of these electronic equipments is that every 6 months or so, a newer feature needs to be added to keep ahead of the market competition, and hence new designs have to be completed with these new features, better form factor, battery life, and performance every few months. This extreme pressure on the time to market is another force that drives the innovations in design automation of semiconductor chips.
Citește tot Restrânge

Toate formatele și edițiile

Toate formatele și edițiile Preț Express
Paperback (1) 62431 lei  6-8 săpt.
  Springer – 18 sep 2014 62431 lei  6-8 săpt.
Hardback (1) 63023 lei  6-8 săpt.
  Springer – 12 aug 2010 63023 lei  6-8 săpt.

Preț: 62431 lei

Preț vechi: 73448 lei
-15% Nou

Puncte Express: 936

Preț estimativ în valută:
11948 12447$ 9934£

Carte tipărită la comandă

Livrare economică 08-22 februarie 25

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9781489987020
ISBN-10: 1489987029
Pagini: 184
Ilustrații: XXX, 154 p.
Dimensiuni: 155 x 235 x 10 mm
Greutate: 0.27 kg
Ediția:2010
Editura: Springer
Colecția Springer
Locul publicării:New York, NY, United States

Public țintă

Research

Cuprins

Related Work.- Background.- Low-Power Problem Formalization.- Heuristics for Power Savings.- Complexity Analysis of Scheduling in CAOS-Based Synthesis.- Dynamic Power Optimizations.- Peak Power Optimizations.- Verifying Peak Power Optimizations Using SPIN Model Checker.- Epilogue.

Textul de pe ultima copertă

Low Power Hardware Synthesis from Concurrent Action-Oriented SpecificationsGaurav SinghSandeep K. Shukla This book introduces novel techniques for generating low-power hardware from a high-level description of a design in terms of Concurrent Action-Oriented Specifications (CAOS). It also describes novel techniques for formal verification of such designs. It will provide the readers with definitions of various power optimization and formal verification problems related to CAOS-based synthesis, necessary background concepts, techniques to generate hardware according to the design’s power requirements, and detailed experimental results obtained by applying the techniques introduced on realistic hardware designs. •Presents detailed analysis of various power optimization problems associated with high-level synthesis, as well as novel techniques for reducing power consumption of hardware designs at a higher level of abstraction;•Discusses various formal verification issues associated with synthesizing different possible versions of a hardware design (differing in their latency, area, and/or power consumption);•Includes detailed experimental results obtained by applying the techniques introduced on benchmark hardware designs.

Caracteristici

Presents detailed analysis of various power optimization problems associated with high-level synthesis, as well as novel techniques for reducing power consumption of hardware designs at higher level of abstraction Discusses various formal verification issues associated with synthesizing different possible versions of a hardware design (differing in their latency, area, and/or power consumption)