RE: [sv-ec] "state variable"

From: Rich, Dave <Dave_Rich_at_.....>
Date: Wed May 27 2009 - 09:40:02 PDT
Clause 18.5.8 has "All other variable references are treated as state
variables, whose current value is used as a constant.

 

 

For that matter, "random" is never defined either.

 

 

"

________________________________

From: owner-sv-ec@server.eda.org [mailto:owner-sv-ec@server.eda.org] On
Behalf Of Bresticker, Shalom
Sent: Wednesday, May 27, 2009 5:29 AM
To: sv-ec@server.eda.org
Subject: [sv-ec] "state variable"

 

Hi,

 

Clause 18 (Constraints) uses the term "state variable" many times, but
it does not seem to be defined anywhere, and it does not seem like
something whose meaning would be trivially obvious. Only after looking
at a number of places and contexts where the term is used does one start
to understand what is meant by it. I think the term should be defined
next to its first use.

 

Shalom

 

Shalom Bresticker

Intel LAD DA

Jerusalem, Israel

+972  2 589 6582 (office)

+972 54 721 1033 (cell)

 

 

---------------------------------------------------------------------
Intel Israel (74) Limited
 
This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.

-- 
This message has been scanned for viruses and 
dangerous content by MailScanner <http://www.mailscanner.info/> , and is

believed to be clean. 

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Wed May 27 09:43:16 2009

This archive was generated by hypermail 2.1.8 : Wed May 27 2009 - 09:43:58 PDT