Functional Test Generation for AI Accelerators using Bayesian Optimization

被引:0
|
作者
Chaudhuri, Arjun [1 ]
Chen, Ching-Yuan [1 ]
Talukdar, Jonti [1 ]
Chakrabarty, Krishnendu [1 ]
机构
[1] Duke Univ, Dept Elect & Comp Engn, Durham, NC 27706 USA
关键词
D O I
10.1109/VTS56346.2023.10139981
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
We propose a black-box optimization method to generate functional test patterns for AI inferencing accelerators. Functional testing is faster than structural testing as scan chains are not used for shifting in patterns and shifting out test responses. Moreover, functional testing reduces "over-testing" by targeting the detection of functionally critical faults for a given application workload. We use Bayesian Optimization for targeted test-image generation for stuck-at faults in a systolic array-based accelerator. Our framework supports test-pattern compaction and leverages various types of error regularization for enforcing functional-likeness of the generated test images. We achieve high fault coverage using a small set of test images for pin-level faults in 16-bit and 32-bit floating-point processing elements of the systolic array achieves high fault coverage with a small set of test images.
引用
收藏
页数:6
相关论文
共 50 条
  • [41] Software Test Data Generation using Ant Colony Optimization
    Li, Huaizhong
    Lam, C. Peng
    PROCEEDINGS OF WORLD ACADEMY OF SCIENCE, ENGINEERING AND TECHNOLOGY, VOL 1, 2007, 1 : 1 - 4
  • [42] RTL Functional Test Generation Using Factored Concolic Execution
    Pinto, Sonal
    Hsiao, Michael S.
    2017 IEEE INTERNATIONAL TEST CONFERENCE (ITC), 2017,
  • [43] USING GENETIC ALGORITHMS FOR TEST CASE GENERATION AND SELECTION OPTIMIZATION
    Alsmadi, Izzat
    2010 23RD CANADIAN CONFERENCE ON ELECTRICAL AND COMPUTER ENGINEERING (CCECE), 2010,
  • [44] FUNCTIONAL TEST GENERATION USING BINARY DECISION DIAGRAMS.
    Abadir, M.S.
    Reghbati, H.K.
    Computers & mathematics with applications, 1987, 13 (5-6): : 413 - 430
  • [45] Functional Test Generation Using Design and Property Decomposition Techniques
    Koo, Heon-Mo
    Mishra, Prabhat
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2009, 8 (04)
  • [46] FUNCTIONAL TEST-GENERATION USING BINARY DECISION DIAGRAMS
    ABADIR, MS
    REGHBATI, HK
    COMPUTERS & MATHEMATICS WITH APPLICATIONS, 1987, 13 (5-6) : 413 - 430
  • [47] Generation of the Scrambled Halton Sequence Using Accelerators
    Atanassov, Emanouil
    Durchova, Mariya
    2013 36TH INTERNATIONAL CONVENTION ON INFORMATION AND COMMUNICATION TECHNOLOGY, ELECTRONICS AND MICROELECTRONICS (MIPRO), 2013, : 177 - 181
  • [48] Bayesian optimization of laser-plasma accelerators assisted by reduced physical models
    Pousa, A. Ferran
    Jalas, S.
    Kirchen, M.
    de la Ossa, A. Martinez
    Thevenet, M.
    Hudson, S.
    Larson, J.
    Huebl, A.
    Vay, J. -L.
    Lehe, R.
    PHYSICAL REVIEW ACCELERATORS AND BEAMS, 2023, 26 (08)
  • [49] Strategy generation under uncertainty using Bayesian networks and black box optimization
    Faulkner, Eli
    2007 IEEE Symposium on Computational Intelligence in Multi-Criteria Decision Making, 2007, : 65 - 70
  • [50] Time optimization for test generation
    Andryukhin, A.I.
    1997, Gordon & Breach Science Publ Inc, Newark, NJ, United States (14):