Efficient verification of multi-property designs (The benefit of wrong assumptions)
We consider the problem of efficiently checking a set of safety properties Ρ1,…,Ρk of one design. We introduce a new approach called Ja-verification, where Ja stands for “Just-Assume” (as opposed to “assume-guarantee”). In this approach, when proving a property Pi, one assumes that every property Pj...
| Main Authors: | , , , |
|---|---|
| Format: | Conference item |
| Published: |
IEEE
2018
|