Professional Documents
Culture Documents
Assertion Arun
Assertion Arun
An assertion is simply a check against the specification of your design that you want to make sure never
violates. If the specs are violated, you want to see a failure. A simple example is given below. Whenever
FRAME_ is de-asserted (i.e. goes High), that the Last Data Phase (LDP_) must be asserted (i.e. goes Low).
Such a check is imperative to correct functioning of the given interface. SVA language is precisely
designed to tackle such temporal domain scenarios. As we will see in Sect. 2.2.1, modeling such a check
is far easier in SVA than in Verilog. Note also
Fig. 2.1 A simple bus protocol design and its SVA property