Testability Analysis for Test Generation in Synchronous Sequential Circuits. - R. Wolber; Uwe Gläser; Heinrich Theodor Vierhaus (ICCD, 1994)