Conference item icon

Conference item

Relational STE and Theorem Proving for Formal Verification of Industrial Circuit Designs

Actions


Authors


John O'Leary More by this author
Roope Kaivola More by this author
Tom Melham More by this author
Publisher:
IEEE
Publication date:
2013
URN:
uuid:72621860-f3d9-4bc1-88f1-ef8f90e7f770
Local pid:
cs:7488
ISBN:
978-0-9835678-3-7/13

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP