Subject: RE: [sv-ac] Wrong spelling of goto operator in BNF (App A.)
From: Bassam Tabbara (bassam@novas.com)
Date: Mon Apr 21 2003 - 18:02:03 PDT
Adam,
I know the (flawed) reasoning that led here, no need to restate the
obvious, like I said it is diverging from "if"... We are really doing a
"reverse" consistency here: instead of doing it like Verilog/C, in my
opinion, for the sake of consistency with our own artifact we are
diverging even more.... Thought I'd do a one last stand on this before
BNF is frozen, feel free to (dis)agree with me on this one. Why
different than if ? May be I could accept the "; else" bit but now it is
even worse.
The other issue when it comes to consistency that bugs me is the
immediate cover. I mentioned this in my last review, again I fail to see
what consistency metric we are using.
As for "->" the reason for using this particular symbol was "event" not
goto or PSL, reason I claim the name is either old (as I had thought,
since it came with a *> !) or is a poor one. Either way deserves another
look.
[Is what I meant] Clearer now ?
-Bassam.
-- Dr. Bassam Tabbara Technical Manager, R&D Novas Software, Inc.http://www.novas.com (408) 467-7893
> -----Original Message----- > From: Adam Krolnik [mailto:krolnik@lsil.com] > Sent: Monday, April 21, 2003 4:42 PM > To: bassam@novas.com > Cc: 'Surrendra Dudani'; sv-ac@eda.org > Subject: Re: [sv-ac] Wrong spelling of goto operator in BNF (App A.) > > > > > 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 - 18:02:47 PDT