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, and is believed to be clean.Received on Tue Feb 19 05:17:07 2008
This archive was generated by hypermail 2.1.8 : Tue Feb 19 2008 - 05:17:58 PST