Subject: RE: [sv-ec] 'priority' not defined in a solve-before constraint
From: David W. Smith (David.Smith@synopsys.com)
Date: Wed Nov 26 2003 - 09:52:52 PST
ERR-55 is opened with the proposal.
Regards
David
-----Original Message-----
From: owner-sv-ec@eda.org [mailto:owner-sv-ec@eda.org] On Behalf Of Arturo
Salz
Sent: Tuesday, November 25, 2003 12:45 PM
To: Ryan, Ray; sv-ec@eda.org
Cc: David W. Smith
Subject: Re: [sv-ec] 'priority' not defined in a solve-before constraint
Ray,
Good observation. That is an error.
David, would you please create an errata to remove the "[ priority ]" from
the BNF in question.
The errata is to remove the strikeout text.
_____
constraint_block ::=
solve [ priority ] identifier_list before identifier_list ;
| constraint_expression
_____
Arturo
----- Original Message -----
From: "Ryan, Ray" < <mailto:Ray_Ryan@mentorg.com> Ray_Ryan@mentorg.com>
To: < <mailto:sv-ec@eda.org> sv-ec@eda.org>
Sent: Tuesday, November 25, 2003 11:08 AM
Subject: [sv-ec] 'priority' not defined in a solve-before constraint
In Ext-14 (page 2), the BNF for a constraint block is:
constraint_block ::=
solve [ priority ] identifier_list before identifier_list ;
| constraint_expression
The optional "priority" keyword is added in Ext-14, but there is
no decription of this option.
- Ray
This archive was generated by hypermail 2b28 : Wed Nov 26 2003 - 09:54:52 PST