The Community for Technology Leaders
RSS Icon
pp: 1
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
31 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool