Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications /

Bibliographic Details
Main Authors: Singh, Gaurav. (Author), Shukla, Sandeep Kumar. (Author)
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: New York, NY : Springer New York : Imprint: Springer, 2010.
Edition:1st ed. 2010.
Subjects:
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.