Subject: Re: Proposed PAR for Verification Language Study Group
From: Paul J. Menchini (mench@mench.com)
Date: Tue Feb 04 2003 - 07:05:26 PST
Bhasker,
> 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.
The PAR is not the place to define, in detail, the technology or the
work methodology that the WG intends to follow. Only the scope and
purpose are to be presented.
However, if the SC wishes to understand more fully the technology that
Verisity intends to contribute to this effort, then I ask Yaron (the SG
Chair) to respond to this specific question. Yaron, I also suggest that
the your response be copied to the SG reflector.
Paul
This archive was generated by hypermail 2b28 : Tue Feb 04 2003 - 07:06:05 PST