RE: [sv-ac] 16.15 review

I entered this into Mantis 2541.

 

Lisa

 

  _____  

From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On
Behalf Of Lisa Piper
Sent: Wednesday, December 10, 2008 9:14 AM
To: 'Korchemny, Dmitry'
Cc: sv-ac@server.eda.org; sv-sc@server.eda.org
Subject: [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  <http://www.mailscanner.info/> MailScanner, and is 
believed to be clean. 

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