Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications
Monograph (January 2010)
Power Optimization and Synthesis at Behavioral and System Levels Using Formal Methods
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Introduction
-
Altmetric BadgeChapter 2 Power-Optimal Register Allocation and Binding
-
Altmetric BadgeChapter 3 Power-Optimal Module Allocation and Binding
-
Altmetric BadgeChapter 4 Multiple Supply Voltage Scheduling
-
Altmetric BadgeChapter 5 Co-Design of Communicating Systems
-
Altmetric BadgeChapter 6 Conclusion