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