[sv-ac] P1800-2009 : 16.9.5 AND operation // start time ambiguity

page 335: LRM: The two operands of and are sequences. The requirement for
the match of the and operation is that both the operands shall match. The
operand sequences start at the same time. When one of the operand sequences
matches, it waits for the other to match. The end time of the composite
sequence is the end time of the
operand sequence that completes last.

I have an issue with the definition of   "sequences start at the same time"
 because it implies a start at the same cycle.  Is <same time> == <same
cycle>?
If the 2 sequences have different clocks, then they would not necessarily
start at the same time, if you define the same time as the same cycle.  For
example:
   @(posedge clk0) s0 |=> *(@(posedge clk1) s1) and (@(posedge clk2) s2); *

I propose that we change that
 from: The operand sequences start at the same time
 TO:    Each of the operand sequences start at the first clocking event of
the respective sequence. Thus, in the following example, sequence s1 starts
at the first clocking event of clk1, and sequence s2 starts at the first
clocking event of clk2.

@(posedge clk0) s0 |=> *(@(posedge clk1) s1) and (@(posedge clk2) s2); *
[Ben Cohen] Note: we can skip the example if you feel that it is redundant.
Am also open to variation if sentence is not clear.
Ben

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.