Power estimation methodology for a high-level synthesis framework

As adoption of system-level hardware design is increasing in industry and academia, accurate power estimation at this level is becoming important. In this paper, we present a system-level power estimation methodology, which is based on a high-level synthesis framework and supports sufficiently accurate power estimation of hardware designs at the systemlevel. For early and accurate power estimation, the proposed methodology utilizes register transfer level (RTL) probabilistic power estimation technique controlled by the system-level simulation. Furthermore, our methodology does not require a designer to move to the traditional RTL power estimation methodology, thus facilitating easy and early power analysis and aiding the cause of adoption of system-level design practices in ASIC design flow. This paper provides detailed description of our methodology including tools used, algorithm for extracting activity from system-level value change dump and finally mapping this information for RTL power estimation. We show the usefulness of our approach by performing power estimation on synthesizable cycle-accurate transaction-level (CATL) design models of reasonable complexity such as prototype processor model (VeSPA processor), universal asynchronous receiver and transmitter (UART), FFT filter, etc. We demonstrate our methodology through industry standard EDA tools used in the ASIC design flow and show that the loss in accuracy for the proposed approach with respect to the state-of-the-art RTL power estimation techniques ranges from 3¿9%. The speed up gained using our approach is upto 12 times more than RTL simulation based power estimation approach.

[1]  Luca Benini,et al.  Regression-based RTL power modeling , 2000, TODE.

[2]  Sachin S. Sapatnekar,et al.  Designing Digital Computer Systems with Verilog , 2004 .

[3]  Wayne H. Wolf Household hints for embedded systems designers , 2002, Computer.

[4]  Sandeep K. Shukla,et al.  Model-driven test generation for system level validation , 2007, 2007 IEEE International High Level Design Validation and Test Workshop.

[5]  G. Toomajanian,et al.  RTL power management , 1998, Wescon/98. Conference Proceedings (Cat. No.98CH36265).

[6]  Sujit Dey,et al.  High-Level Power Analysis and Optimization , 1997 .

[7]  Gérard Berry,et al.  The foundations of Esterel , 2000, Proof, Language, and Interaction.

[8]  Anand Raghunathan,et al.  Power monitors: a framework for system-level power estimation using heterogeneous power models , 2005, 18th International Conference on VLSI Design held jointly with 4th International Conference on Embedded Systems Design.

[9]  Paolo Crippa,et al.  System-level power analysis methodology applied to the AMBA AHB bus [SoC applications] , 2003, 2003 Design, Automation and Test in Europe Conference and Exhibition.

[10]  Paolo Crippa,et al.  System-Level Power Analysis Methodology Applied to the AMBA AHB Bus , 2003, DATE.

[11]  Stefan Krugge,et al.  RTL Power Estimation , 2011 .

[12]  Luciano Lavagno,et al.  Efficient power co-estimation techniques for system-on-chip design , 2000, DATE '00.

[13]  Andrea Chiarini,et al.  Power Simulation of Communication Protocols with StateC , 2006 .

[14]  Sandeep K. Shukla,et al.  Assertion-Based Modal Power Estimation , 2007, 2007 Eighth International Workshop on Microprocessor Test and Verification.

[15]  Jerry Frenkil Tools and methodologies for low power design , 1997, DAC.