Hi guys-I've uploaded a new proposal version at http://www.verilog.org/mantis/view.php?id=3385 , after making a few updates based on email feedback to the last one. I added a clarifying sentence in the first part of the deferred assertions section, to state explicitly that the args are immediately evaluated when the assertion is, and also expanded the example to include a case where the top level of the action block is a function call.
I think it's now ready for a vote.
-- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Tue May 10 08:38:44 2011
This archive was generated by hypermail 2.1.8 : Tue May 10 2011 - 08:38:59 PDT