RE: [sv-ec] "state variable"

From: Bresticker, Shalom <shalom.bresticker_at_.....>
Date: Mon Jun 01 2009 - 01:14:31 PDT
Yes, but

1. "state variable" is used 5 times before it says that its value is used as a constant.
2. For someone with a background like mine, "state variable" refers to the state of a finite state machine, and the term has no connection in my knowledge with constraints. This despite having worked with constrained random verification for many years.
3. Even in the sentence you quoted, it sounds like the statement that its value is used as a constant is just mentioned incidentally, "by the way", and I still don't understand why the term "state variable" is used here and what its meaning is.
4. On the other hand, "random" is a common, well-understood term. "state variable" is a specialized term.

Regards,
Shalom

________________________________
From: Rich, Dave [mailto:Dave_Rich@mentor.com]
Sent: Wednesday, May 27, 2009 7:40 PM
To: Bresticker, Shalom; sv-ec@server.eda.org
Subject: RE: [sv-ec] "state variable"

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.
---------------------------------------------------------------------
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, and is
believed to be clean.
Received on Mon Jun 1 02:08:07 2009

This archive was generated by hypermail 2.1.8 : Mon Jun 01 2009 - 02:10:13 PDT