[sv-ac] [Fwd: Clock flow in SV assertion]

-------- Original Message --------

Hi,
Some days ago I asked the precedence of @ operator in assertion rule. I did not get well defined answer, however by reading the clock flow section, it is understood that @ has the weakest precedence.

Considering the fact the given e.g. in LRM (page no. 282, e.g. d)

@(posedge clk) a ##1 @(posedge clk1) s1 |=> @(posedge clk2) s2;

will be parsed as:

@(posedge clk) a ##1 (@(posedge clk1) s1 |=> @(posedge clk2) s2);

So (@(posedge clk1) s1 |=> @(posedge clk2) s2) will become a property expression.

But as per assertion BNF, ## operator can not have property expression in RHS. So the e.g. given in LRM is wrong.

Please confirm.

-- 
Regards
Surya.