Subject: (no subject)
From: Paul J. Menchini (mench@mench.com)
Date: Tue Feb 04 2003 - 07:01:35 PST
Received: from mta05-svc.ntlworld.com (mta05-svc.ntlworld.com [62.253.162.45])
by server.eda.org (8.12.0.Beta7/8.12.0.Beta7) with ESMTP id h14EVGtf004188
for <stds-dasc-sc@eda.org>; Tue, 4 Feb 2003 06:31:17 -0800 (PST)
Received: from p7q8q2 ([213.106.82.8]) by mta05-svc.ntlworld.com
(InterMail vM.4.01.03.27 201-229-121-127-20010626) with SMTP
id <20030204143115.KFGQ2341.mta05-svc.ntlworld.com@p7q8q2>;
Tue, 4 Feb 2003 14:31:15 +0000
Reply-To: <jim.heaton@ieee.org>
From: "Jim.Heaton" <jim.heaton@ieee.org>
To: "Paul J. Menchini" <mench@mench.com>, <stds-dasc-sc@server.eda.org>
Subject: RE: Gabe Moretti's Input.
Date: Tue, 4 Feb 2003 14:31:49 -0000
Message-ID: <NEBBINJKAKEMIAHILHLDGEDBCLAA.jim.heaton@ieee.org>
MIME-Version: 1.0
Content-Type: text/plain;
charset="iso-8859-1"
Content-Transfer-Encoding: 7bit
X-Priority: 3 (Normal)
X-MSMail-Priority: Normal
X-Mailer: Microsoft Outlook IMO, Build 9.0.2416 (9.0.2911.0)
Importance: Normal
In-Reply-To: <200302041345.h14Djjwg000900@mench.mench.com>
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1106
I agree with Gabe! There is the danger of polarisation, just when we need
openness and cooperation.
Best Regards
Jim
___________________________________________________
Jim Heaton Associates Ltd.
7 Cote Green Road
Marple Bridge
STOCKPORT SK6 5EH
United Kingdom
Tel: +44 (0)161 427 1975
Fax: +44 (0)161 427 8306
Mobile: +44 (0)7770 771714
E-mail jim.heaton@ieee.org
-----Original Message-----
From: owner-stds-dasc-sc@eda.org [mailto:owner-stds-dasc-sc@eda.org]On
Behalf Of Paul J. Menchini
Sent: 04 February, 2003 13:46
To: stds-dasc-sc@eda.org
Subject:
Received: from smtp.comcast.net (smtp.comcast.net [24.153.64.2])
by server.eda.org (8.12.0.Beta7/8.12.0.Beta7) with ESMTP id h13M2htf001128
for <stds-dasc-sc@server.dasc.org>; Mon, 3 Feb 2003 14:02:45 -0800 (PST)
Received: from gabepc (pcp03210828pcs.venice01.fl.comcast.net
[68.56.100.231])
by mtaout06.icomcast.net
(iPlanet Messaging Server 5.2 HotFix 1.09 (built Jan 7 2003))
with SMTP id <0H9R00LTE6JJDP@mtaout06.icomcast.net> for
stds-dasc-sc@server.dasc.org; Mon, 03 Feb 2003 17:02:09 -0500 (EST)
Date: Mon, 03 Feb 2003 17:02:23 -0500
From: Gabe Moretti <gmoretti@comcast.net>
Subject: Re: Proposed PAR for Verification Language Study Group
To: "Paul J. Menchini" <mench@mench.com>, stds-dasc-sc@server.dasc.org
Message-id: <02b201c2cbcf$ee9e3650$0400a8c0@gabepc>
MIME-version: 1.0
X-MIMEOLE: Produced By Microsoft MimeOLE V6.00.2800.1106
X-Mailer: Microsoft Outlook Express 6.00.2800.1106
Content-type: text/plain; charset=iso-8859-1
Content-transfer-encoding: 7BIT
X-Priority: 3
X-MSMail-priority: Normal
References: <3E3EC013.E1ECBB63@mench.com>
Dear Members of the DASC Steering Committee,
I am somewhat concerned with the scope and purpose of this proposed PAR. I
am aware, as I am sure most of you are, that there are more verification
languages in use today than e. Is it wise to base a standard development
effort on e alone? What about Vera, or Specman? What about assertion
languages? Are they contributing to a "Verification Language"? If the
answer is affirmative to any of these questions are we running the risk to
work on a standard that will have undesirable consequences in the industry
effectively polarizing it?
Gabe
****************************************************
Gabe Moretti, Technical Editor EDA & ASIC
EDN Worldwide, Reed Electronics Group
1138 Kittiwake Drive, Venice, FL 34292
Phone: 941-497-9880 Fax: 941-497-9887
gabe@eda.org www.edn.com
----- Original Message -----
From: "Paul J. Menchini" <mench@mench.com>
To: <stds-dasc-sc@server.dasc.org>
Sent: Monday, February 03, 2003 2:16 PM
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 - 07:02:02 PST