SV simulators do probably have constraint solvers. But up to this point, I don't think that these solvers have been required to solve constraints involving temporal properties. Tom Bresticker, Shalom wrote On 11/28/07 11:18 PM,: > Don't SV simulators have constraint solvers anyway? > > Shalom > > >>The current wording still sounds like simulators will be >>required to implement >>the constraint solvers necessary to meet assumptions. > > --------------------------------------------------------------------- > 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. -- ------------------ Thomas J. Thatcher Sun Microsystems ------------------ -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Thu Nov 29 09:52:42 2007
This archive was generated by hypermail 2.1.8 : Thu Nov 29 2007 - 09:52:56 PST