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

Hi Mirek,

 

I tried to address some of your questions in my previous mail. To
introduce random simulation semantics for free variables and even to
recycle the existing syntax may be possible though not very
straightforward. We can work on it, and specific suggestions are
welcome.

 

Thanks,

Dmitry

 

________________________________

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.