Integrated Formal and Informal Design Verification of Commercial Integrated Circuits.

Carl Pixley Kurt Shultz Jun Yuan Integrated Formal and Informal Design Verification of Commercial Integrated Circuits. 1061-1068 1999 conf/pdpta/1999 PDPTA db/conf/pdpta/pdpta1999-2.html#PixleySY99