How can I write the following sequence?
If sequence A happens, then sequence A may not happen again until either sequence B or sequence C happens.
An example of the sequences might be:
sequence seqA;
($rose(A)) ##1 $fell(A); //single cycle A pulse
endsequence
sequence seqB;
B[->1]; //B high for 1 cycle
endsequence
sequence seqC;
(1[*10]); //10 clk cylces
endsequence
It is important in this question that seqA is a sequence, so that we are not just checking
seqA |-> (!A throughout (seqB or seqC))
(For this simple example, afte