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

 

________________________________

From: owner-sv-ec@server.eda.org [mailto:owner-sv-ec@server.eda.org] On
Behalf Of Mirek Forczek
Sent: Monday, April 07, 2008 2:50 PM
To: sv-ec@server.eda.org
Subject: [sv-ec] 1900 mantis (checkers): free checker variables -
debugging issue


 
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 <http://www.mailscanner.info/> , and is

believed to be clean. 
---------------------------------------------------------------------
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.