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