[sv-ec] 1900 mantis (checkers): free checker variables - debugging issue

From: Mirek Forczek <mirekf_at_.....>
Date: Mon Apr 07 2008 - 04:50:28 PDT
 
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