[sv-ac] 16.15 review

Hi Dmitry,

 

I have completed the review of 16.15, d8.  I found several syntax
issues/typos. I am not sure if these have been reported previously:

 

      In 16.15.6, there is a syntax error in the example of assertion p2:

 

                    p2: assert property @(posedge scanclk) (r1);

 

                should be:

 

           p2: assert property (  @(posedge scanclk) (r1) );

 

 

In 16.15.6.3, the same syntax error exists:

 

                p1: assert property @(posedge clk) (const'(foo) ==
const'(bar));

 

should be:

 

                p1: assert property (  @(posedge clk) (const'(foo) ==
const'(bar)) );

 

In 16.15.7,

 

                a2: assert property (p_triggers(a, b, c, posedge clk1, 1'b0)
;

 

should be: 

 

a2: assert property (p_triggers(a, b, c, posedge clk1, 1'b0) ) ;

 

and also in 16.15.7,

 

a4: assert property(p_multiclock(negedge clk2, , posedge clk1,

                                a, b, c, d);

 

should be:

 

a4: assert property(p_multiclock(negedge clk2, , posedge clk1,

                                a, b, c, d) );

 

Lisa

 


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