publication venue for Synchronizing sequences and symbolic traversal techniques in test generation 1993 Fault simulation for general FCMOS ICs 1991
