Specification Patterns provide solutions to notational problems when specifying design intent. Probably the most prevalent form of formally specifying design intent in the digital verification domain is through the use of properties, which can be implemented as either assertions or cover properties.
The specification patterns contained in our library are divided into the follow two subcategories are: Occurrence Properties and Order Properties. Occurrence Property patterns require that either some state or event must occur or not occur. Alternatively, Order Property patterns constrain the order of states and events.
To learn more about the details of the Verification Academy Patterns Library and Specification Patterns, View | Download our paper, Verification Patterns—Taking Reuse to the Next Level.
Occurrence Property Patterns:
Order Property Patterns: