RE: [sv-ec] Functions in constraints

The intent of that item is indeed as Steven writes below (and Ray explained earlier). I prefer the shorter first form:

- Functions shall be called before the constraints containing them are solved,
  and their return values shall be treated as state variables.

It should be clear that this refers to functions in constraints since that is the subject of the whole bulleted list.

        Arturo

-----Original Message-----
From: owner-sv-ec@eda.org [mailto:owner-sv-ec@eda.org] On Behalf Of Steven Sharp
Sent: Tuesday, June 16, 2009 11:19 PM
To: sv-ec@eda.org; Chris.Spear@synopsys.COM
Subject: RE: [sv-ec] Functions in constraints


>The following bullet seems to be a global statement, but is then contradicted
by the example showing a different ordering.
>"- Functions shall be called before constraints are solved, and their return
values shall be treated as state variables."

So something like

- Functions shall be called before the constraints containing them are solved,
  and their return values shall be treated as state variables.

Is it clear that this is talking about functions in constraints, as opposed
to all functions in the design?  If not, perhaps the wording

- Functions in constraints shall be called before the constraint is solved,
  and their return values shall be treated as state variables.

Steven Sharp
sharp@cadence.com


--
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.