Robert B. Jones David L. Dill Jerry R. Burch Efficient validity checking for processor verification. 2-6 1995 conf/iccad/1995 ICCAD http://doi.acm.org/10.1145/224841.224849 db/conf/iccad/iccad1995.html#JonesDB95