The proposal introduces "free checker variables" that are about to be "non-deterministic". Hopefully the "non-deterministic" property do not deny the sequence of free checker variable values to be repeatable in simulation. A similar issue exists for "random" variables - there is a "seed" mechanism that you can use to get the pseudo-random sequence fixed in simluation. I did not noticed a similar mechanism for "free checker variables" in a proposal text. I think this is a vital issue for a users, to make the models debugging possible and effective. Regards, Mirek -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Mon Apr 7 04:51:39 2008
This archive was generated by hypermail 2.1.8 : Mon Apr 07 2008 - 04:51:47 PDT