In this paper, we propose an approach to generate high-level test patterns from the arithmetic model of an RTL circuit using a hybrid canonical data structure based on a decision diagram. High-level simplified and fast symbolic path activation strategy as well as input justification is combined with test pattern generation for circuits under consideration. The current approach has been implemented for a range of small to large benchmark circuits. The results clearly demonstrate that tests generated using the proposed method have achieved high fault coverage for known sequential circuit benchmarks in very short CPU time and minimum memory usage.
RTL Circuits, Automatic Testin, Canonical Representation, Test Pattern Generation
Z. Navabi, "A New Approach for Automatic Test Pattern Generation in Register transfer Level Circuits", IEEE Design & Test of Computers, , no. 1, pp. 1, PrePrints PrePrints, doi:10.1109/MDT.2012.2217471