Efficient validity checking for processor verification.

Robert B. Jones, David L. Dill, Jerry R. Burch

Browse the full ICCAD paper archive.