Abstract
Relaxing the traditional abstraction of 'near-perfect' accuracy in hardware design can lead to significant gains in energy efficiency, area, and performance. To exploit this opportunity, there is a need for design abstractions that can systematically incorporate approximation in hardware design. We introduce Axilog, a set of language annotations, that provides the necessary syntax and semantics for approximate hardware design and reuse in Verilog. Axilog enables the designer to relax the accuracy requirements in certain parts of the design, while keeping the critical parts strictly precise. Axilog is coupled with a Relaxability Inference Analysis that automatically infers the relaxable gates and connections from the designer's annotations. The analysis provides formal safety guarantees that approximation will only affect the parts that the designer intended to approximate, referred to as relaxable elements. Finally, the paper describes a synthesis flow that approximates only the relaxable elements. Axilog enables applying approximation in the synthesis process while abstracting away the details of approximate synthesis from the designer. We evaluate Axilog, its analysis, and the synthesis flow using a diverse set of benchmark designs. The results show that the intuitive nature of the language extensions coupled with the automated analysis enables safe approximation of designs even with thousands of lines of code. Applying our approximate synthesis flow to these designs yields, on average, 54% energy savings and 1.9× area reduction with 10% output quality loss.
Original language | English (US) |
---|---|
Title of host publication | Proceedings of the 2015 Design, Automation and Test in Europe Conference and Exhibition, DATE 2015 |
Publisher | Institute of Electrical and Electronics Engineers Inc. |
Pages | 812-817 |
Number of pages | 6 |
ISBN (Electronic) | 9783981537048 |
DOIs | |
State | Published - Apr 22 2015 |
Event | 2015 Design, Automation and Test in Europe Conference and Exhibition, DATE 2015 - Grenoble, France Duration: Mar 9 2015 → Mar 13 2015 |
Publication series
Name | Proceedings -Design, Automation and Test in Europe, DATE |
---|---|
Volume | 2015-April |
ISSN (Print) | 1530-1591 |
Other
Other | 2015 Design, Automation and Test in Europe Conference and Exhibition, DATE 2015 |
---|---|
Country/Territory | France |
City | Grenoble |
Period | 3/9/15 → 3/13/15 |
Bibliographical note
Publisher Copyright:© 2015 EDAA.