[sv-bc] Is deferred assertion statement not allowed in program block

From: Surya Pratik Saha <spsaha_at_.....>
Date: Sun Jan 03 2010 - 20:27:10 PST
Hi,
As per BNF of SV 2009 draft 7a LRM, deferred_immediate_assertion_item is
not part of program_item. Though there is no restriction if deferred
statement is used in the procedural context of program block.

Is there any specific reason for that? Is it changed later in final
version of the LRM?

-- 
Regards
Surya







-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Sun Jan 3 20:29:57 2010

This archive was generated by hypermail 2.1.8 : Sun Jan 03 2010 - 20:30:53 PST