Singh, Gaurav
Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications
1. Introduction
Gaurav Singh, Sandeep K. Shukla
2. Related Work
Gaurav Singh, Sandeep K. Shukla
3. Background
Gaurav Singh, Sandeep K. Shukla
4. Low-Power Problem Formalization
Gaurav Singh, Sandeep K. Shukla
5. Heuristics for Power Savings
Gaurav Singh, Sandeep K. Shukla
6. Complexity Analysis of Scheduling in CAOS-Based Synthesis
Gaurav Singh, Sandeep K. Shukla
7. Dynamic Power Optimizations
Gaurav Singh, Sandeep K. Shukla
8. Peak Power Optimizations
Gaurav Singh, Sandeep K. Shukla
9. Verifying Peak Power Optimizations Using SPIN Model Checker
Gaurav Singh, Sandeep K. Shukla
10. Epilogue
Gaurav Singh, Sandeep K. Shukla
Avainsanat: Engineering, Circuits and Systems, Computer-Aided Engineering (CAD, CAE) and Design
- Tekijä(t)
- Singh, Gaurav
- Shukla, Sandeep K.
- Julkaisija
- Springer
- Julkaisuvuosi
- 2010
- Kieli
- en
- Painos
- 1
- Sivumäärä
- 29 sivua
- Kategoria
- Tekniikka, energia, liikenne
- Tiedostomuoto
- E-kirja
- eISBN (PDF)
- 9781441964816