R. Wolber;Uwe Gläser;Heinrich Theodor Vierhaus
-;-;-
Symbolic fault simulation for sequential circuits and the multiple observation time test strategy
DAC '95 Proceedings of the 32nd annual ACM/IEEE Design Automation Conference