Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications

• Κύριοι συγγραφείς: Singh, Gaurav (Συγγραφέας), Shukla, Sandeep K. (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: New York, NY : Springer New York, 2010.
• Θέματα: Engineering.; Computer-aided engineering.; Electronic circuits.; Circuits and Systems.; Computer-Aided Engineering (CAD, CAE) and Design.

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

Πίνακας περιεχομένων:

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