Subject: [sv-ac] BNF issue with concurrent_assert_item.
From: Adam Krolnik (krolnik@lsil.com)
Date: Mon Apr 21 2003 - 12:44:31 PDT
Good afternoon;
According to the BNF in draft 5, a concurrent_assert_item (and concurrent_cover_item)
look like this:
concurrent_assert_statement ::=
[ block_identifier : ] assert property ( property_spec ) action_block
| [ block_identifier : ] assert property ( property_instance ) action_block
concurrent_cover_statement ::=
[ block_identifier : ] cover property ( property_spec ) statement_or_null
| [ block_identifier : ] cover property ( property_instance ) statement_or_null
The problem is through procedural_assertion_item. Since it is part of a statement_item,
and a statement is defined as:
statement ::= [ block_identifier : ] statement_item
That means, this line is legal...
iden1: iden2: assert property (aprop);
Adam Krolnik
Verification Mgr.
LSI Logic Corp.
Plano TX. 75074
This archive was generated by hypermail 2b28 : Mon Apr 21 2003 - 12:46:29 PDT