Sciweavers

EURODAC
1995
IEEE
137views VHDL» more  EURODAC 1995»
13 years 8 months ago
A formal non-heuristic ATPG approach
This paper presents a formal approach to test combinational circuits. For the sake of explanation we describe the basic algorithms with the help of the stuck–at fault model. Ple...
Manfred Henftling, Hannes C. Wittmann, Kurt Antrei...