Special session: How approximate computing impacts verification, test and reliability

作者: L. Sekanina , Z. Vasicek , A. Bosio , M. Traiola , P. Rech

DOI: 10.1109/VTS.2018.8368628

关键词:

摘要: Two AxC techniques have been successfully applied to hardware components. The first one is the functional approximation [1]that modifies circuit structure replacing original function F with G. G implementation leads area/energy reduction at cost of reduced accuracy, meaning that some errors can be observed outputs are a variation between output values (precise) and (approximate). accuracy loss measured by means quality metric(s) [1]. second technique over-scaling based approximation. Basically, HW component forced work outside its specified operating conditions classical example supply voltage under minimum value.

参考文章(4)
Sparsh Mittal, A Survey of Techniques for Approximate Computing ACM Computing Surveys. ,vol. 48, pp. 62- ,(2016) , 10.1145/2893356
Imran Wali, Marcello Traiola, Arnaud Virazel, Patrick Girard, Mario Barbareschi, Alberto Bosio, Towards approximation during test of Integrated Circuits design and diagnostics of electronic circuits and systems. pp. 28- 33 ,(2017) , 10.1109/DDECS.2017.7934574
Daniel Oliveira, Laércio Pilla, Nathan DeBardeleben, Sean Blanchard, Heather Quinn, Israel Koren, Philippe Navaux, Paolo Rech, Experimental and analytical study of Xeon Phi reliability ieee international conference on high performance computing data and analytics. pp. 28- ,(2017) , 10.1145/3126908.3126960
Zdenek Vasicek, Tomas Vojnar, Vojtech Mrazek, Lukas Sekanina, Jiri Matyas, Milan Ceska, Approximating complex arithmetic circuits with formal error guarantees: 32-bit multipliers accomplished international conference on computer aided design. pp. 416- 423 ,(2017) , 10.5555/3199700.3199755