RE: [sv-ec] AI-39, review of assume proposal


Subject: RE: [sv-ec] AI-39, review of assume proposal
From: David W. Smith (David.Smith@synopsys.com)
Date: Tue Jan 20 2004 - 14:52:46 PST


Hi Michael,
The original reason for this action item was due to part of the proposal
describing using assertions within constraints. Once SV-AC removed this
feature the issue was raised at the committee and no-one expressed a need to
review the remaining assume proposal. It had little direct impact.

I clearly forgot to update the page and will do it today.

Thanks for the catch.

Regards
David

-----Original Message-----
From: owner-sv-ec@eda.org [mailto:owner-sv-ec@eda.org] On Behalf Of Michael
Burns
Sent: Tuesday, January 20, 2004 2:33 PM
To: sv-ec@eda.org
Subject: [sv-ec] AI-39, review of assume proposal

Hi folks,

What was the disposition of AI-39, "Review SV-AC assume proposal"? The
minutes suggested it was to be closed, but it's still open on the
website. It's also not clear to me from the minutes why it was to be
closed - were we waiting from some activity from sv-ac that never
came?

Mike Burns
Motorola



This archive was generated by hypermail 2b28 : Tue Jan 20 2004 - 15:03:21 PST