Relational STE and theorem proving for formal verification of industrial circuit designs.

John W. O'Leary, Roope Kaivola, Tom Melham

Browse the full FMCAD paper archive.