Precise error determination of approximated components in sequential circuits with model checking

Error metrics are used to evaluate the quality of an approximated circuit or to trade-off several approximated candidates in design exploration. Precisely determining the error or all approximated circuit is a hard problem since the errors accumulate over time depending on the composition and nature of individual components. In this paper, we present methods based on model checking to precisely determine error behavior in sequential circuits that contain approximated combinational components. Our experiments show that such an analysis is very significant and crucial to properly deduce the effects of approximations.


Published in:
Proceedings of the 53rd Design Automation Conference (DAC)
Presented at:
53rd Design Automation Conference (DAC), Austin, Texas, USA, June 5-9, 2016
Year:
2016
Publisher:
New York, ACM/IEEE
ISBN:
978-1-4503-4236-0
Laboratories:




 Record created 2016-02-16, last modified 2018-01-28


Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)