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...
| Main Authors: | , , |
|---|---|
| Format: | Conference item |
| Published: |
2009
|