RE: [sv-ac] call to vote on 1900

But that is the point. One has to understand what are the user-visible
effects. Doron did not understand the user-visible effect of his
optimization. Others won't either.
 
Shalom


________________________________

	From: Korchemny, Dmitry 
	Sent: Wednesday, December 19, 2007 10:20 AM
	To: Bresticker, Shalom; 'sv-ac@server.eda.org'
	Subject: RE: [sv-ac] call to vote on 1900
	
	

	Hi Shalom,

	 

	The simulation semantics is explained in detail in 16.18.5.4.
The implementer is always free to make any optimizations consistent with
the description.

	 

	In 4.3 it is explicitly written:
	
	

	"Within the following

	event execution model definitions, there is a great deal of
choice, and differences in some details of execution

	are to be expected between different simulators. In addition,
SystemVerilog simulators are free to use

	different algorithms from those described in this clause,
provided the user-visible effect is consistent with

	the reference algorithm."

	 

	Thanks,

	Dmitry

	 

	-----Original Message-----
	From: Bresticker, Shalom 
	Sent: Wednesday, December 19, 2007 10:14 AM
	To: Korchemny, Dmitry; sv-ac@server.eda.org
	Subject: RE: [sv-ac] call to vote on 1900

	 

	If that is what you mean, then maybe that is what you should
say. Otherwise, an implementor may have to be afraid that there is
another reason, which he is not aware of, why the LRM says to execute at
every time step.

	 

	Shalom

	 

	> I think that the statement that the continuous assignment of 

	> checker variables shall execute at every time step is clearer 

	> than the explanation about topological sorting (this is 

	> explained in the subclause describing the simulation 

	> semantics). Essentially, this definition is a matter of 

	> phrasing only, and the implementation may be event-driven, it 

	> should just take the topological sort into account.

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