Subject: RE: Accellera: Branching vs. Linear Time
From: Erich Marschner (erichm@cadence.com)
Date: Tue Jul 10 2001 - 17:22:47 PDT
Sandeep,
I've just emailed Ken to ask if he is interested in participating. I'll
pursue this.
Erich
At 04:27 PM 7/14/01 -0700, Sandeep K. Shukla wrote:
>> 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
-------------------------------------------
Erich Marschner, Cadence Design Systems
Senior Architect, Advanced Verification
Phone: +1 410 872 4369 / +1 410 750 6995
Email: erichm@cadence.com / erichm@home.com
This archive was generated by hypermail 2b28 : Tue Jul 10 2001 - 17:22:07 PDT