[sv-ac] new arrtum in SV-LRM

Hi,

I have created a new entry in SV-LRM, #0001800, error in Clause 17.7.8,
pp254 of Draft 1:

The example
sequence burst_rule1;
@(posedge mclk)
$fell(burst_mode) #0
(!burst_mode) throughout (#2 ((trdy==0)&&(irdy==0)) [*7]);
endsequence

is incorrect because #0 has higher precedence and thus it may generate
an invalid, non-boolean, first operand of throughout. It should be as
follows:

sequence burst_rule1;
@(posedge mclk)
$fell(burst_mode) #0
(!burst_mode throughout (#2 ((trdy==0)&&(irdy==0)) [*7]));
endsequence 

Regards,
ed

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