V.L.S.I. diagnosis using high level knowledge

Abstract

7 1 s aper introduces, a useful and effective method for VLSI dagnosis based on a theorem concerning the Boolean Difference part 2). I t , & a high level diagnosis method for high f eve1 circuits. First, modules are considered (part 3). hks between miodules are d e f i e d art 4 5)"and. tLe more general w e is described (part 6 Y before condusion (part 7)1.