Subject: Re: SystemVerilog draft 7
From: Adam Krolnik (krolnik@lsil.com)
Date: Mon Apr 29 2002 - 09:35:17 PDT
Good morning;
Looking at the BNF for the assertion constructs, there is a new
production 'restricted ?' This includes the line:
delay_or_event_control statement
This line invalidates some of the examples from section 11 on
the assertion statements itself. E.g. (page 44, 11.3)
assert (myfunc(a,b)) count = count + 1; else ->event1;
Without knowing what the restricted statement production is
for I can't suggest a fix other than to allow 'statement'
as a option for restricted statement.
One would have to include #0 or @(<something>) or repeat (N)
before the count statement following the BNF.
The 1.8 version of the assertion spec did not include this
restricted statement BNF.
Adam Krolnik
Verification Mgr.
LSI Logic Corp.
Plano TX. 75074
This archive was generated by hypermail 2b28 : Mon Apr 29 2002 - 09:40:01 PDT