[sv-bc] 2005: Deferred assertions (new proposal at http://www.verilog.org/mantis/view.php?id=2005)

Hi all--

I've revised the draft, based on suggestions from Dmitry, Doug, and a
few others.  The major changes:
- Rather than a new keyword, used the suggestion of 'assert #0'
suggested by Doug.  Tell me if everyone thinks this is OK, or if it
seems confusing & we should add a keyword after all.  
- Added optional event control for deferred assertions.  Doug-- tell me
if what I put in there sounds like what you had in mind.  I think a
followup email with details was implied by your last one, but I didn't
find it in my inbox.  I thought this sounded useful for some cases.
- Added implicit always_comb for deferred asserts outside procedural
code. 
- Added more examples.

Anyway, the new draft is attached (and added to the Mantis), with
changes marked.  As before, tell me if you have major objections, or
suggested improvements.  Thanks!

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