TY - GEN
T1 - CCP
T2 - 2012 ACM/IEEE International Symposium on Low Power Electronics and Design, ISLPED'12
AU - Wan, Lu
AU - Chen, Deming
PY - 2012
Y1 - 2012
N2 - Better-Than-Worst-case (BTW) design has been proposed as an alternative way to operate a circuit by deliberately allowing timing errors for rare cases and rectifying them with error correction mechanisms in order to achieve higher performance, better reliability guarantee, or lower energy consumption. This new design methodology necessitates the analysis and manipulation of signal probabilities during circuit optimization. This paper looks for the solution from the logic synthesis perspective and proposes a new concept, called Common Case Promotion (CCP), to enable effective circuit optimization following the BTW design methodology. CCP consists of: 1) probability-driven re-synthesis that changes a digital circuit's internal structure, 2) a dynamic behavior aware SAT-based redundancy remover that reduces area overhead, and 3) a timed characteristic function (TCF) based circuit dynamic behavior analyzer that provides optimization convergence. The experimental results show that, on average, we can effectively improve circuits' timing error resilience by 24%, which reduces the need of error recovery for BTW circuits considerably, and we can improve the overall energy efficiency by 15%.
AB - Better-Than-Worst-case (BTW) design has been proposed as an alternative way to operate a circuit by deliberately allowing timing errors for rare cases and rectifying them with error correction mechanisms in order to achieve higher performance, better reliability guarantee, or lower energy consumption. This new design methodology necessitates the analysis and manipulation of signal probabilities during circuit optimization. This paper looks for the solution from the logic synthesis perspective and proposes a new concept, called Common Case Promotion (CCP), to enable effective circuit optimization following the BTW design methodology. CCP consists of: 1) probability-driven re-synthesis that changes a digital circuit's internal structure, 2) a dynamic behavior aware SAT-based redundancy remover that reduces area overhead, and 3) a timed characteristic function (TCF) based circuit dynamic behavior analyzer that provides optimization convergence. The experimental results show that, on average, we can effectively improve circuits' timing error resilience by 24%, which reduces the need of error recovery for BTW circuits considerably, and we can improve the overall energy efficiency by 15%.
KW - Common case
KW - Dynamic behavior
KW - Probability
KW - Resynthesis
KW - Timing error resilience
KW - Voltage overscaling
UR - http://www.scopus.com/inward/record.url?scp=84865564506&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84865564506&partnerID=8YFLogxK
U2 - 10.1145/2333660.2333695
DO - 10.1145/2333660.2333695
M3 - Conference contribution
AN - SCOPUS:84865564506
SN - 9781450312493
T3 - Proceedings of the International Symposium on Low Power Electronics and Design
SP - 135
EP - 140
BT - ISLPED'12 - Proceedings of the International Symposium on Low Power Electronics and Design
Y2 - 30 July 2012 through 1 August 2012
ER -