Relational STE and Theorem Proving for Formal Verification of Industrial Circuit Designs
John O'Leary‚ Roope Kaivola and Tom Melham
Book Title
FMCAD 2013: Formal Methods in Computer−Aided Design: Portland‚ Oregon‚ USA‚ 20–23 October 2013
Editor
Barbara Jobstmann and Sandip Ray
ISBN
978−0−9835678−3−7/13
Pages
97–104
Publisher
IEEE
Year
2013