Subject: Re: [sv-ec] 'priority' not defined in a solve-before constraint
From: Arturo Salz (Arturo.Salz@synopsys.com)
Date: Tue Nov 25 2003 - 12:45:23 PST
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" <Ray_Ryan@mentorg.com>
To: <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 : Tue Nov 25 2003 - 12:44:09 PST