Sequential circuit test generation using decision diagram models
Jaan Raik, Raimund Ubar · 1999
A novel approach to testing sequential circuits that uses multi-level decision diagram representations is intro-duced. The proposed algorithm consists of a combination of scanning and conformity test generation procedures. Structural faults in both, datapath and control part are targeted. High-level simplified and fast symbolic path activation strategy is combined with random local test pattern generation for functional units. Current approach has achieved high fault coverages for known sequential circuit benchmarks in a very short time. 1.