PaperExhaustive Generation of Bit Patterns with Applications to VLSI Self-TestingZeev Barzilai, Don Coppersmith, et al.IEEE TC
PaperA backtracing-oriented procedure for the analysis of combinational gate-level designsGabriel M. Silberman, Ilan Y. SpillingerIntegration, the VLSI Journal