A Formally Verified Peak-Power Reduction Technique for Hardware Synthesis from Concurrent Action-Oriented Specifications
High-level Concurrent Action-Oriented Specifications (CAOS) of hardware designs based on concurrent atomic actions can be synthesized into efficient hardware implementations as exemplified by the Bluespec Compiler. However, peak-power aware synthesis has not been available for such compilers. In this paper, we propose a technique for peak-power reduction (without unduly compromising latency) during high-level synthesis from CAOS. We demonstrate the efficacy of our technique through experimental results on some benchmark designs from Bluespec Inc. The proposed technique involves rescheduling of the actions of a design, necessitating the verification of resulting hardware against the results of standard synthesis. Thus, we also formally verify various power-minimized designs to ensure that the proposed technique preserves their correctness while reducing the peak-power.
Keywords: CAOS (CONCURRENT ACTION-ORIENTED SPECIFICATIONS); FORMAL VERIFICATION; HIGH-LEVEL SYNTHESIS; PEAK POWER
Document Type: Research Article
Publication date: 01 August 2009
- The electronic systems that can operate with very low power are of great technological interest. The growing research activity in the field of low power electronics requires a forum for rapid dissemination of important results: Journal of Low Power Electronics (JOLPE) is that international forum which offers scientists and engineers timely, peer-reviewed research in this field.
- Editorial Board
- Information for Authors
- Subscribe to this Title
- Terms & Conditions
- Ingenta Connect is not responsible for the content or availability of external websites
- Access Key
- Free content
- Partial Free content
- New content
- Open access content
- Partial Open access content
- Subscribed content
- Partial Subscribed content
- Free trial content