Term · Verification & Validation
Cover property
An SVA statement that records whether a temporal scenario ever occurred, without requiring it. In simulation it measures stimulus reach; in formal it asks the tool to generate a trace showing the scenario is possible.
- Also known as
- cover property, Witness
- Type
- Term
- Domain
- Verification & Validation, Assertions
Notes
Formal-generated cover traces are a fast way to produce a legal stimulus example for a hard-to-reach corner.
Related terms
- Assertion coverage
- Model checking
- Functional coverage
- Vacuous pass
Part of the Verification & Validation glossary, with every term in the topic and the lifecycles, tools and standards that use them.
Where it appears on the Hub
No other page of the Hub uses this term yet.
Suggest an improvement
Suggest an improvement to this entry
A clearer definition, an example, a correction or a source an editor can check. Editors review every suggestion before the entry changes.
Last reviewed: not yet reviewed in depth. Entry last updated . The full glossary