Grammar-based optimization of synthesis scenariosAndreas KuehlmannLucas P.P.P. van Ginneken1994ICCD 1994Conference paper
Architectural verification of processors using symbolic instruction graphsA.K. ChandraV.S. Iyengaret al.1994ICCD 1994Conference paper
Multifault testable circuits based on binary parity diagramsSandip Kundu1994ICCD 1994Conference paper