Relational STE and Theorem Proving for Formal Verification of Industrial Circuit Designs - O'Leary, J; Kaivola, R; Melham, T (IEEE, 2013)