Error masking with approximate logic circuits using dynamic probability estimations

Approximate logic circuits can be used in hardware redundancy approaches to reduce the overheads at the expense of slightly sacrificing robustness. However, a major drawback of existing logic approximation methods lies in the difficulty of estimating the effect of approximations in the total error probability and therefore to identify and select optimal approximation transformations. In this work, we propose an approach to build approximate logic circuits for a given acceptable error target. Using signal probabilities, we can dynamically estimate the probability of error that can be expected when an approximation is taken, use it to iteratively select optimal transformations and keep an estimation of the total error probability in order to stick to a given target. Experimental results show how this approach can be used to generate optimal approximate logic circuits for any particular tradeoff between robustness and area overhead.

[1]  Vivek De,et al.  Design and reliability challenges in nanometer technologies , 2004, Proceedings. 41st Design Automation Conference, 2004..

[2]  Dong Sam Ha,et al.  HOPE: an efficient parallel fault simulator for synchronous sequential circuits , 1992, DAC '92.

[3]  R. Baumann The impact of technology scaling on soft error rate performance and limits to the efficacy of error correction , 2002, Digest. International Electron Devices Meeting,.

[4]  F. Brglez,et al.  On testability of combinational networks , 1984 .

[5]  R. Iris Bahar,et al.  Using Implications for Online Error Detection , 2008, 2008 IEEE International Test Conference.

[6]  J. A. Maestro,et al.  A Methodology for Automatic Insertion of Selective TMR in Digital Circuits Affected by SEUs , 2009, IEEE Transactions on Nuclear Science.

[7]  Dhiraj K. Pradhan,et al.  Recursive learning: a new implication technique for efficient solutions to CAD problems-test, verification, and optimization , 1994, The IEEE International Symposium on Circuits and Systems, 2003. Tutorial Guide: ISCAS 2003..

[8]  L.W. Massengill,et al.  Reducing Soft Error Rate in Logic Circuits Through Approximate Logic Functions , 2006, IEEE Transactions on Nuclear Science.

[9]  Sarita V. Adve,et al.  The impact of technology scaling on lifetime reliability , 2004, International Conference on Dependable Systems and Networks, 2004.

[10]  Kartik Mohanram,et al.  Approximate logic circuits for low overhead, non-intrusive concurrent error detection , 2008, 2008 Design, Automation and Test in Europe.

[11]  John P. Hayes,et al.  Selective Hardening: Toward Cost-Effective Error Tolerance , 2011, IEEE Design & Test of Computers.

[12]  Mario García-Valderas,et al.  Logic masking for SET Mitigation Using Approximate Logic Circuits , 2012, 2012 IEEE 18th International On-Line Testing Symposium (IOLTS).

[13]  Wen-Ben Jone,et al.  TAIR: testability analysis by implication reasoning , 2000, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[14]  L. H. Goldstein,et al.  Controllability/observability analysis of digital circuits , 1978 .

[15]  Edward J. McCluskey,et al.  Probabilistic Treatment of General Combinational Networks , 1975, IEEE Transactions on Computers.