[sv-champions] 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.
 
- "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".
 
- 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".
 
- 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?
 
- "Since my_check1 instantiation" should be "Since the my_check1
instantiation".
 
- 16.18.5: The 2nd paragraph contains two references to 16.14.5. One is
enough.
 
- "outside of the checker body" should be "outside of a checker body".
 
- 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, and is
believed to be clean.