Subject: Re: [sv-ac] Wrong spelling of goto operator in BNF (App A.)
From: Adam Krolnik (krolnik@lsil.com)
Date: Mon Apr 21 2003 - 16:41:33 PDT
Hi Bassam;
You wrote:
>1) How come we go in immediate assertions to "statement"
> action_block ::=
> statement _or_null
> | [ statement ] else statement // from Annex A.6.3
Because we want to support
assert property (aprop) else $error();
With 'statement_or_null' one would require a semicolon before
the else. This is all correct - Yes!
>2) goto_repetition,
Hmmm, nobody mentioned the 'event' word. We all agreed to use *-> and
the name 'goto repetition' to match PSL (except the '*').
Adam Krolnik
Verification Mgr.
LSI Logic Corp.
Plano TX. 75074
This archive was generated by hypermail 2b28 : Mon Apr 21 2003 - 16:42:20 PDT