RE: [sv-ac] Mantis 1900 comments - Part 4

Hi Shalom,

 

Please, see my comments below.

 

Thanks,

Dmitry

 

________________________________

From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On
Behalf Of Bresticker, Shalom
Sent: Sunday, February 03, 2008 6:40 PM
To: sv-ac@server.eda.org
Cc: sv-champions@server.eda.org
Subject: [sv-ac] Mantis 1900 comments - Part 4

 

More comments on Mantis 1900:

 

- 16.18.3: "The checkers may be instantiated ..." should be "A checker
may be instantiated ..." to be consistent with elsewhere.

 

[Korchemny, Dmitry] Fixed.

 

- "The mechanism for passing arguments to a checker is similar for
passing arguments to a property" is awkward, change to "The mechanism
for passing arguments to a checker is similar to the mechanism for
passing arguments to a property".

 

[Korchemny, Dmitry] Fixed.

 

- 16.18.4: "Context value functions may be used as a default value of
formal arguments" should be "Context value functions may be used as
default values of formal arguments".

 

[Korchemny, Dmitry] Fixed.

 

- The example has checker check_in_context with a port "logic enable".
The checker instantiation my_check1 connects this port to "en1 ##1 en2".
Is it legal to connect such an expression to a port of type logic? Does
the port need to be untyped?

 

[Korchemny, Dmitry] This is a mistake. Should be "sequence enable". I
fixed it.

 

- "Since my_check1 instantiation" should be "Since the my_check1
instantiation".

 

[Korchemny, Dmitry] Fixed.

 

- 16.18.5: The 2nd paragraph contains two references to 16.14.5. One is
enough.

 

[Korchemny, Dmitry] Fixed.

 

- "outside of the checker body" should be "outside of a checker body".

 

[Korchemny, Dmitry] Fixed.

 

- I had some trouble with the check_illegal example, but that will wait
for tomorrow.

 

Shalom


-- 
This message has been scanned for viruses and 
dangerous content by MailScanner <http://www.mailscanner.info/> , and is

believed to be clean. 
---------------------------------------------------------------------
Intel Israel (74) Limited

This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.

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