Hi,
I have planned to create an assertion for the below Scenario.
If I create normal approach, it seems to be very complicated. If I use assertion, this check seems to me better.
Image URL is below:
My specification description as below:
1.My spec is to check the number of clock’s between sig1 and sig2.
2.The count should be between
Min number of clocks:
clk1+clk2 =10, In 10 clk1=6 and clk2=4
Max number of clocks:
clk1+clk2 =15, In 15 clk1=9 and clk2=6
If it is single clock My assertion could have been something like below:
@(posedge clk1)
$rose(sig1) |-> ##[10:15] $rose(sig2)
But the count of minimum number of clocks and maximum number of clocks depends on two Clocks.
Thank you for the help with the assertion.