2. WHAT IS ASSERTION???
• Assertions are primarily used to validate the behavior of a design
• Check the occurrence of a specific condition or sequence of events.
3.
4. TYPES OF ASSERTION
IMMEDIATE ASSERTION
1] Immediate assertions check for a
condition at the zero/current simulation
time.
2]An immediate assertion is the same as
an if..else statement with assertion
control. Immediate assertions have to be
placed in a procedural block definition.
CONCURRENT ASSERTION
• 1] Concurrent assertions check the
sequence of events spread over
multiple clock cycles
• 2]The test expression is evaluated at
clock edges based on the sampled
values of the variables involved,it can
be placed in a procedural block,
a module, an interface or a
program definition
18. $stable
• Property stable_p checks when signal “a” asserts high, it checks for no
change in signal “b”. It means, signal “b” should stay as it was in
the previous cycle.
29. Question:::
• 1] check if clock of given frequency is working fine or not.
.lets assume duty cycle as 50% ???
Or
Write a checker to see if clock is running at 10MHZ?