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.