davyzhu
Advanced Member level 1
seq_c
Hi,all ,
There is "seq_a |-> seq_b |-> seq_c" in SVA.
Is " seq_a |-> seq_b |-> seq_c " equal to
" (seq_a and seq_b) |-> seq_c "?
Or shall we need only care the last implication (|-> or |=>), thanks!
Best regards,
Davy
Hi,all ,
There is "seq_a |-> seq_b |-> seq_c" in SVA.
Is " seq_a |-> seq_b |-> seq_c " equal to
" (seq_a and seq_b) |-> seq_c "?
Or shall we need only care the last implication (|-> or |=>), thanks!
Best regards,
Davy