Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications /
| Main Authors: | , |
|---|---|
| Corporate Author: | |
| 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.