Cargando…

Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications

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

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores principales: Singh, Gaurav (Autor), Shukla, Sandeep Kumar (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: New York, NY : Springer New York : Imprint: Springer, 2010.
Edición:1st ed. 2010.
Temas:
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.