Two types of assertions: Immediate assertion and Concurrent assertion
When to use which and why?
Where to use which and why?
What is your understanding of these 2 types of assertions?
What are your issues or concerns?
Provide examples.
Once you do that, I can help in your understandings.
Ben systemverilog.us
What is your understanding of these 2 types of assertions?
What are your issues or concerns?
Provide examples.
Once you do that, I can help in your understandings.
[/quote]
my understanding is as below:
→ Immediate assertion asserts at clock tick.
→ Concurrent assertion asserts at every clock edge. It can be asserted by using property.
→ Difference between both is “property” keyword.
my understanding is as below:
→ Immediate assertion asserts at clock tick.
→ Concurrent assertion asserts at every clock edge. It can be asserted by using property.
→ Difference between both is “property” keyword.