[sv-ac] [sv-ac] Review of IEEE P1800™/D1, Mantis 2551

*Page 437: The labeling of the assertions r1_p1 and r1_p2 do not match the
text that refers to those assertions. Suggestion, fix the match in the
text, as shown below:
*
*
*
For example, in the following code fragment, the clocking event @(posedge
mclk) is inferred as the clocking event of *r1_*p1, while *r1_*p2 is clocked
by @(posedge scanclk) as written:
property r1;
q != d;
endproperty
always @(posedge mclk) begin
q <= d1;
r1_p1: assert property (r1);
r1_p2: assert property (@(posedge scanclk)r1);
end

The resulting behavior of the above assertion r1_p2 depends on the relative
frequencies of mclk and scanclk.

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