Grammar-based optimization of synthesis scenariosAndreas KuehlmannLucas P.P.P. van Ginneken1994ICCD 1994
Architectural verification of processors using symbolic instruction graphsA.K. ChandraV.S. Iyengaret al.1994ICCD 1994