Subject: Re: [sv-ac] RE: Review of BNF and Keywords by Dan Jacobi
From: Adam Krolnik (krolnik@lsil.com)
Date: Fri Apr 11 2003 - 10:46:53 PDT
Good afternoon;
An issue was raised about the omission of the final block. The action
required was the addition of this BNF:
------------------------------------------
LRM-171 BNF for final blocks was submitted with the original proposal (CH-79), but did
not specify a section number
ADD to section A.1.5 module_or_generate_item
| { attribute_instance } final_construct
ADD to section A.1.6 interface_or_generate_item
| { attribute_instance } final_construct
ADD to A.6.2
final_construct ::= 'final' function_statement
------------------------------------------
Since this was not part of the BNF, this context was overlooked,
where immediate assertion statements should be allowed to occur.
I propose that immediate assertion statements be part of function_statement_item.
BNF:
function_statement_item ::==
<the current value>
| immediate_asssert_statement
Omitting this change also prevents usage of immediate assertion statements inside functions.
Thanks.
Adam Krolnik
Verification Mgr.
LSI Logic Corp.
Plano TX. 75074
This archive was generated by hypermail 2b28 : Fri Apr 11 2003 - 10:48:21 PDT