Conference item icon

Conference item

Assume−Guarantee Validation for STE Properties within an SVA Environment

Actions


Access Document


Files:
Publisher copy:
10.1109/FMCAD.2009.5351133

Authors


Zurab Khasidashvili More by this author
Gavriel Gavrielov More by this author
Tom Melham More by this author
Publisher:
IEEE
Publication date:
2009
DOI:
URN:
uuid:6c04bbbd-b00e-40aa-8990-dc1bd1c87ab2
Local pid:
cs:4678
ISBN:
978-1-4244-4966-8

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