Assume-guarantee validation for STE properties within an SVA environment

Symbolic Trajectory Evaluation is an industrial-strength verification method, based on symbolic simulation and abstraction, that has been highly successful in data path verification, especially microprocessor execution units. These correctness results are typically obtained under certain assumptions...

Volledige beschrijving

Bibliografische gegevens
Hoofdauteurs: Khasidashvili, Z, Gavrielov, G, Melham, T
Formaat: Conference item
Gepubliceerd in: 2009