Automatic Detection of Logic Bugs in Hardware Designs. - Alexander Klaiber; Sinclair Chau (MTV, 2003)