SABATPG - A STRUCTURAL-ANALYSIS BASED AUTOMATIC TEST-GENERATION SYSTEM

Authors
LI ZC PAN YQ MIN YH
Citation
Zc. Li et al., SABATPG - A STRUCTURAL-ANALYSIS BASED AUTOMATIC TEST-GENERATION SYSTEM, Science in China. Series A, Mathematics, Physics, Astronomy & Technological Sciences, 37(9), 1994, pp. 1104-1114
Citations number
11
Categorie Soggetti
Multidisciplinary Sciences
Journal title
Science in China. Series A, Mathematics, Physics, Astronomy & Technological Sciences → ACNP
ISSN journal
10016511
Volume
37
Issue
9
Year of publication
1994
Pages
1104 - 1114
Database
ISI
SICI code
1001-6511(1994)37:9<1104:S-ASBA>2.0.ZU;2-V
Abstract
A TPG system, SABATPG, is given based on a generic structural model of large circuits. Three techniques of partial implication, aftereffect of identified undetectable faults and shared sensitization with new co ncepts of localization and aftereffect are employed in the system to i mprove FAN algorithm Experiments for the 10 ISCAS benchmark circuits s how that the computing time of SABATPG for test generation is 19.42% l ess than that of FAN algorithm.