Subject: RE: Accellera: Branching vs. Linear Time
From: Sandeep K. Shukla (skshukla@ics.uci.edu)
Date: Sat Jul 14 2001 - 16:27:59 PDT
> Cadence SMV remains an excellent experimental platform. what does the
> committee feel about using SMV as an example/reference implementation
> for the reasoning framework needed to support the property language it
> is chartered with defining?
>
I agree with Mathew on that, I think we should get cadence SMV as a
reference implementation, and also some one must pursue Ken to join
this discussion.
Sandeep
> -----Original Message-----
> From: owner-vfv@eda.org [mailto:owner-vfv@eda.org]On Behalf Of Matthew
> Morley
> Sent: Tuesday, July 10, 2001 3:48 PM
> To: vfv@eda.org
> Subject: Re: Accellera: Branching vs. Linear Time
>
> Cadence SMV remains an excellent experimental platform. what does the
> committee feel about using SMV as an example/reference implementation
> for the reasoning framework needed to support the property language it
> is chartered with defining?
>
> M
> --
>
This archive was generated by hypermail 2b28 : Tue Jul 10 2001 - 16:31:28 PDT