Can someone please help with this assertion question:
Write a checker such that a given 2 bit command cant be equal to 2 more than 4 times within 60 clock cycles
I tried with using local variable but wanted to check is we can use throughout like below:
Cmd != 2 |-> 1[*60] throughout (cmd !=2)[->1:3]