Subject: RE: Proposed PAR for Verification Language Study Group
From: Jayaram Bhasker (JBhasker@esilicon.com)
Date: Tue Feb 04 2003 - 06:57:41 PST
I see something lacking in the PAR. It does not define what "e" is and where it
is coming from. It would have helped if it mentions that "e" version so.so that
Verisity is planning to donate to the the IEEE WG. If they plan to donate only
a subset of "e", then we should not call this as "e" verification language, but
just as HVL - this is to avoid confusion to users of the standard.
- bhasker
------
J. Bhasker, eSilicon Corp
1605 N. Cedar Crest Blvd, Ste 615, Allentown, PA 18104
jbhasker@esilicon.com, 610.439.6831, 610.770.9634(fax)
-----Original Message-----
From: Paul J. Menchini [mailto:mench@mench.com]
Sent: Monday, February 03, 2003 2:17 PM
To: stds-dasc-sc@server.dasc.org
Subject: Proposed PAR for Verification Language Study Group
Ladies and Gentlemen of the DASC,
After an intense and spirited discussion, the VLSG has developed the
attached PAR and is submitting it to the Steering Committee for review
and approval.
Since this is a new PAR, I propose that we engage in one week of
discussion about the PAR, after which I will call for a vote.
Regards,
Paul Menchini
This archive was generated by hypermail 2b28 : Tue Feb 04 2003 - 06:58:12 PST