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...
Clasificación: | Libro Electrónico |
---|---|
Autores principales: | , |
Autor Corporativo: | |
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.