Semiconductors, Engineering, Hardware, Design, Hardware Design.
Assertions can be also used for formal verification. Let us look at different types of examples of SV assertions. 1. Simple ## delay assertion: Property hash_delay_p checks for, a) Signal “a” is asserted high on each clock cycle b) If “a” is high in a cycle after two clock cycles, signal “b” has to