RE: [sv-ac] 1900

No, the first says that the arbitrary values *shall* be consistent with
the assumptions. The following sentence, "If a simulator canot assign
consistent values..." would be interpreted as meaning that there is a
conflict in the assumptions and that a consistent valuation is not
possible.
 
Regards,
Shalom


________________________________

	From: Korchemny, Dmitry 
	Sent: Tuesday, February 19, 2008 3:21 PM
	To: Bresticker, Shalom; sv-ac@server.eda.org
	Subject: RE: [sv-ac] 1900
	
	

	Hi Shalom,

	 

	Both statements say that the simulators may use assumptions but
do not have to. I'll make it clearer.

	 

	Dmitry

	 

	
________________________________


	From: owner-sv-ac@server.eda.org
[mailto:owner-sv-ac@server.eda.org] On Behalf Of Bresticker, Shalom
	Sent: Tuesday, February 19, 2008 3:09 PM
	To: sv-ac@server.eda.org
	Subject: [sv-ac] 1900

	 

	Hi, 

	Figure 16-17 shows flag going low when reset goes low instead of
when reset goes high. 

	Also, the text first says, 
	Simulators shall assign arbitrary values to the free variables
consistent with the assumptions and the assignments. If a simulator
cannot assign consistent values to the free variables, it shall report a
violation of the corresponding assumptions.

	Afterwards it says, 
	Simulators may assign arbitrary values to the variable flag.
They may use assumptions m1, m2, and m3 to constrain the values
generated at the $global_clock ticks if they have the capability to do
so.

	These appear contradictory. The first says that the simulator
must use assumptions, the seconds say it may, but does not have to.

	Shalom 

	Shalom Bresticker 
	Intel Jerusalem LAD DA 
	+972 2 589-6582 
	+972 54 721-1033 

	
---------------------------------------------------------------------
	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.