[sv-ac] Mantis 1648 Review

Hello Everyone,

I have reviewed the proposal for Mantis 1648.

General comments:  It's a little confusing to read because of the
change bars between this proposal and the previous proposal.

Here are a few specific problems.

1. Misspelling of "disabling" in the first line.

2.  Shouldn't  the module_or_generate_item_declaration syntax be
    inside a box?

3.  Perhaps case a) should be restated as
    a)  If an assertion has a disable iff clause, then the disable specified
	in this clause will be used, and any default disable statement will be
	ignored.

3. Add reset signal "rst" to the port list of module
   "examples_without_default"

Other than these, the proposal looks good.

Tom
-- 
------------------
Thomas J. Thatcher
Sun Microsystems
408-616-5589
------------------

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