Thursday, November 20, 2025

Check that when A goes HIGH , B goes HIGH for 1 to 3 cycles within the next 10 cycles

 $rose(A) |-> B[=1:3] throughout 1'b[*10]

No comments:

Post a Comment