Subject: RE: [sv-ac] FW: sv-bc issues #74 and #77
From: Faisal Haque (fhaque@cisco.com)
Date: Mon Nov 17 2003 - 10:52:00 PST
Here are the two issues forwarded to us from the design committee.
We can discuss these via email and will cover them in our next meeting.
-Faisal
-----Original Message-----
From: Karen Pieper [mailto:Karen.Pieper@synopsys.com]
Sent: Tuesday, November 04, 2003 9:31 AM
To: Srouji, Johny; Faisal Haque
Cc: Arif Samad; Karen.Pieper@synopsys.com
Subject: RE: [sv-ac] FW: sv-bc issues #74 and #77
The first issue #77 came to us as a request to add assertions to types
(the title).
There was no information in the request beyond the title.
The second one #74 seems to me to have a body. It came from an sv-bc
email from
Guillermo Maturana. See also:
http://www.eda-twiki.org/sv-bc/hm/1049.html
Karen
At 06:07 PM 11/4/03 +0200, Srouji, Johny wrote:
I believe that s how we got them. Right Karen?
--- Johny.
----Original Message-----
From: Faisal Haque [mailto:fhaque@cisco.com]
Sent: Monday, November 03, 2003 8:33 PM
To: Srouji, Johny
Cc: 'Arif Samad'
Subject: FW: [sv-ac] FW: sv-bc issues #74 and #77
Johnny ,
These links do not have nay content.
Can you send me or Arif the original material for these proposals
-Faisal
-----Original Message-----
From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of
Faisal Haque
Sent: Monday, November 03, 2003 9:40 AM
To: sv-ac@eda.org
Subject: [sv-ac] FW: sv-bc issues #74 and #77
Here are the two issues that BC thinks we should be tackling. Take a
look an we can discuss at the end of the meeting.
-Faisal
-----Original Message-----
From: Srouji, Johny [mailto:johny.srouji@intel.com]
To: fhaque@cisco.com
Cc: Srouji, Johny; Karen
Subject: sv-bc issues #74 and #77
Hi Faisal,
Following are the two issues which I raised in our TCC meeting today.
They both seem to belong to AC. Please let me know if you confirm, so we
can close them from our side.
Issue #77 URL:
http://www.eda-twiki.org/vlog-pp/sv-bc/display_issue.cgi?issue_num=77
Issue #74 URL:
http://www.eda-twiki.org/vlog-pp/sv-bc/display_issue.cgi?issue_num=74
Thanks,
--- Johny.
This archive was generated by hypermail 2b28 : Mon Nov 17 2003 - 10:52:35 PST