Re: More about the use of approximate_model_check

From: Fabio Somenzi (Fabio@colorado.edu)
Date: Mon Jun 24 2002 - 10:20:07 MDT

Next message: Jean-Luc Mercadier: "About the use of vl2mv"

Previous message: Jean-Luc Mercadier: "More about the use of approximate_model_check"
In reply to: Jean-Luc Mercadier: "More about the use of approximate_model_check"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Mail actions: [ respond to this message ] [ mail a new topic ]

>>>>> "JM" == Jean-Luc Mercadier <jean-luc.mercadier@tni-valiosys.com> writes:

JM> Hello,
JM> Reading again my last message, I found I've made a mistake.
JM> Instead of :
JM> (As there is no determinism in my design, I've set the
JM> amc_prove_false to yes for the approximate model checking)
JM> please read :
JM> (As there is no indeterminism in my design, I've set the
JM> amc_prove_false to yes for the approximate model checking)

JM> Excuse me for the time you have wasted while trying to understand
JM> my last message.

JM> Thanks again for your response.

JM> Jean-Luc Mercadier

Jean-Luc,

It sounds like a bug. Have you tried iterative_model_check or
incremental_ctl_verification instead of approximate_model_check?

Would it be possible for you to give us access to the example that
causes vis to misbehave?

Thanks

Fabio

Next message: Jean-Luc Mercadier: "About the use of vl2mv"
Previous message: Jean-Luc Mercadier: "More about the use of approximate_model_check"
In reply to: Jean-Luc Mercadier: "More about the use of approximate_model_check"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Mail actions: [ respond to this message ] [ mail a new topic ]

This archive was generated by hypermail 2b30 : Mon Jun 24 2002 - 10:22:07 MDT