Author: Gaurav Singh
Publisher: Springer Science & Business Media
ISBN: 1441964819
Category : Technology & Engineering
Languages : en
Pages : 173
Book Description
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.
Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications
Author: Gaurav Singh
Publisher: Springer Science & Business Media
ISBN: 1441964819
Category : Technology & Engineering
Languages : en
Pages : 173
Book Description
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.
Publisher: Springer Science & Business Media
ISBN: 1441964819
Category : Technology & Engineering
Languages : en
Pages : 173
Book Description
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.
Low Power Design with High-Level Power Estimation and Power-Aware Synthesis
Author: Sumit Ahuja
Publisher: Springer Science & Business Media
ISBN: 1461408725
Category : Technology & Engineering
Languages : en
Pages : 186
Book Description
This book presents novel research techniques, algorithms, methodologies and experimental results for high level power estimation and power aware high-level synthesis. Readers will learn to apply such techniques to enable design flows resulting in shorter time to market and successful low power ASIC/FPGA design.
Publisher: Springer Science & Business Media
ISBN: 1461408725
Category : Technology & Engineering
Languages : en
Pages : 186
Book Description
This book presents novel research techniques, algorithms, methodologies and experimental results for high level power estimation and power aware high-level synthesis. Readers will learn to apply such techniques to enable design flows resulting in shorter time to market and successful low power ASIC/FPGA design.
Model Checking Software
Author: Klaus Havelund
Publisher: Springer
ISBN: 3540851143
Category : Computers
Languages : en
Pages : 352
Book Description
This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software, SPIN 2008, held in Los Angeles, CA, USA, in August 2008. The 17 revised full papers presented together with 1 tool paper and 4 invited talks were carefully reviewed and selected from 41 submissions. The main focus of the workshop series is software systems, including models and programs. The papers cover theoretical and algorithmic foundations as well as tools for software model checking and foster interactions and exchanges of ideas with related areas in software engineering, such as static analysis, dynamic analysis, and testing.
Publisher: Springer
ISBN: 3540851143
Category : Computers
Languages : en
Pages : 352
Book Description
This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software, SPIN 2008, held in Los Angeles, CA, USA, in August 2008. The 17 revised full papers presented together with 1 tool paper and 4 invited talks were carefully reviewed and selected from 41 submissions. The main focus of the workshop series is software systems, including models and programs. The papers cover theoretical and algorithmic foundations as well as tools for software model checking and foster interactions and exchanges of ideas with related areas in software engineering, such as static analysis, dynamic analysis, and testing.
Readings in Hardware/Software Co-Design
Author: Giovanni De Micheli
Publisher: Morgan Kaufmann
ISBN: 1558607021
Category : Computers
Languages : en
Pages : 714
Book Description
This title serves as an introduction ans reference for the field, with the papers that have shaped the hardware/software co-design since its inception in the early 90s.
Publisher: Morgan Kaufmann
ISBN: 1558607021
Category : Computers
Languages : en
Pages : 714
Book Description
This title serves as an introduction ans reference for the field, with the papers that have shaped the hardware/software co-design since its inception in the early 90s.
Index to IEEE Publications
Author: Institute of Electrical and Electronics Engineers
Publisher:
ISBN:
Category : Electrical engineering
Languages : en
Pages : 1260
Book Description
Publisher:
ISBN:
Category : Electrical engineering
Languages : en
Pages : 1260
Book Description
High-Level Synthesis
Author: Philippe Coussy
Publisher: Springer Science & Business Media
ISBN: 1402085885
Category : Technology & Engineering
Languages : en
Pages : 307
Book Description
This book presents an excellent collection of contributions addressing different aspects of high-level synthesis from both industry and academia. It includes an overview of available EDA tool solutions and their applicability to design problems.
Publisher: Springer Science & Business Media
ISBN: 1402085885
Category : Technology & Engineering
Languages : en
Pages : 307
Book Description
This book presents an excellent collection of contributions addressing different aspects of high-level synthesis from both industry and academia. It includes an overview of available EDA tool solutions and their applicability to design problems.
Science Abstracts
Author:
Publisher:
ISBN:
Category : Electrical engineering
Languages : en
Pages : 1990
Book Description
Publisher:
ISBN:
Category : Electrical engineering
Languages : en
Pages : 1990
Book Description
Scientific and Technical Aerospace Reports
Proceedings
Author:
Publisher:
ISBN:
Category : Computer-aided design
Languages : en
Pages : 828
Book Description
Publisher:
ISBN:
Category : Computer-aided design
Languages : en
Pages : 828
Book Description
Electrical & Electronics Abstracts
Author:
Publisher:
ISBN:
Category : Electrical engineering
Languages : en
Pages : 1904
Book Description
Publisher:
ISBN:
Category : Electrical engineering
Languages : en
Pages : 1904
Book Description