The Precedence Chain Property Pattern is used to specify portions of a design model's execution for relationships between chains (i.e., sequence of states or events1), where an occurrence of a cause chain must be have been preceded by an occurrence of an effect chain. We say that an occurrence of the effect chain is enabled by an occurrence of the cause chain.
In the normal execution of an RTL state-based model, there is often a cause and effect relative order in which multiple states or events occur during system execution. Precedence Chain properties, which specify that a specific effect must have been preceded by a specific cause occur quite commonly in specifications of concurrent systems. Perhaps the most common example involves describing a complex request-grant-start-done transaction.
The Precedence Chain Property Pattern can be useful for specifying control handshake sequences, portions of a protocols, and state transitions.
View & Download:
To view the entire Precedence Chain Property Pattern, please login with your Verification Academy Full Access account.