Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications

• Main Authors: Singh, Gaurav (Author), Shukla, Sandeep K. (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: New York, NY : Springer New York, 2010.
• Subjects: Engineering.; Computer-aided engineering.; Electronic circuits.; Circuits and Systems.; Computer-Aided Engineering (CAD, CAE) and Design.

Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications Gaurav Singh Sandeep 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...

Table of Contents:

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