[sv-ac] P1800-2009 : Bad example in 16.14.2 Multiclocked properties

page 378  shows:  The following example shows a combination of differently
clocked properties using both implication andboolean property operators:
@(posedge clk0) s0 |=> (@(posedge clk1) s1) and (@(posedge clk2) s2)

The sequence "(@(posedge clk1) s1) and (@(posedge clk2) s2)" is illegal
per Page 377: Differently clocked or multiclocked sequence operands cannot
be combined with any sequence operators
other than ##1 and ##0. For example, if clk1 and clk2 are not identical,
then the following are illegal:
@(posedge clk1) s1 ##2 @(posedge clk2) s2
@(posedge clk1) s1 intersect @(posedge clk2) s2

I suggest that the example be changed to:
@(posedge clk0) s0 |=> (@(posedge clk1) s1) ##1 (@(posedge clk2) s2)

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