Re: IEEE 1647 temporal expressions task force

[Yaron Wolfsthal <WOLFSTAL@il.ibm.com>]

David,

If you hadn't volunteered for this, someone would have probably
asked you to naturally take the lead on this important subcommittee...

I'd very much like to have 1647 represent the broad needs of the
user community, and specifically - in the assertions space - include
a PSL flavor. For the sake of due disclosure, let me say that my
group in IBM is the orginator of Sugar (which evolved into the
Accellera PSL language).

I'm also taking the opportunity to respond to a related note sent
to this group by Achuta Jois on October 21.  Achuta has suggetsed
that, in addition to PSL

      >>> Can we also take a look at vera and Sugar for this??
             (http://www.ieee1647.org/archive_wptf/msg00006.html)

With regards to Sugar, we're already there .... as per the said above,
as the group is looking at PSL, we're essentially looking at Sugar
since practically folks are using the following 3 names interchangably:
PSL, Sugar,  PSL/Sugar.

Best Regards - Yaron Wolfsthal



David Van Campenhout <dvc@verisity.com>@verificationvault.com on 01/11/2003
02:20:57

Please respond to dvc@verisity.com

Sent by:    owner-1647-l@verificationvault.com


To:    1647-l@ieee1647.org
cc:
Subject:    IEEE 1647 temporal expressions task force


All,

I would like to nominate myself to head the temporal expressions task
force (TE_TF). A few words about myself:

I have been with Verisity Design as an R&D engineer since 1999. I have
worked in the areas of test generation, temporal logics, and e
synthesis. I earned a PhD in Electrical Engineering from the
University of Michigan.

I have served on Accellera's Formal Verification Committee (FVTC)
since the beginning of 2001. This is the committee that has drafted
the PSL standard. I actively participated in several subcommittees. I
am proud of the work of the FVTC, and in particular of that of the LRM
subcommittee, and I would like to strive for the same high quality and
constructivism in the IEEE 1647 temporals task force.

I invite anybody interested to join this task force and work towards
making IEEE 1647 a standard.

Best regards,

David
------------------------------------------------------------------------
David Van Campenhout [mailto:dvc.verisity.com]           Verisity Design
Tel.: +1 650 934-6878                               Fax: +1 650 934-6801