Relational STE and theorem proving for formal verification of industrial circuit designs - O'Leary, J; Kaivola, R; Melham, T (2013 Formal Methods in Computer-Aided Design, FMCAD 2013, 2013)