Re: Fw: [sv-ac] Semantics document attached as appendix to SVA LRM

Subject: Re: Fw: [sv-ac] Semantics document attached as appendix to SVA LRM
From: Cindy Eisner (EISNER@il.ibm.com)
Date: Thu May 15 2003 - 19:07:15 PDT

Next message: Vassilios.Gerousis@Infineon.Com: "[sv-ac] SV Chairs and Champions Response to Negative Ballot Comments of C adence"
Previous message: Joseph Lu: "[sv-ac] Vote on the Semantics document attached as appendix to SVA LRM"
Maybe in reply to: Faisal Haque: "Fw: [sv-ac] Semantics document attached as appendix to SVA LRM"
Maybe reply: Cindy Eisner: "Re: Fw: [sv-ac] Semantics document attached as appendix to SVA LRM"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

faisal,

ibm votes YES to include the semantics document as an appendix to the sva
section of the lrm.

regards,

cindy.

Cindy Eisner
Formal Methods Group Tel: +972-4-8296-266
IBM Haifa Research Laboratory Fax: +972-4-8296-114
Haifa 31905, Israel e-mail:
eisner@il.ibm.com

Next message: Vassilios.Gerousis@Infineon.Com: "[sv-ac] SV Chairs and Champions Response to Negative Ballot Comments of C adence"
Previous message: Joseph Lu: "[sv-ac] Vote on the Semantics document attached as appendix to SVA LRM"
Maybe in reply to: Faisal Haque: "Fw: [sv-ac] Semantics document attached as appendix to SVA LRM"
Maybe reply: Cindy Eisner: "Re: Fw: [sv-ac] Semantics document attached as appendix to SVA LRM"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b28 : Thu May 15 2003 - 18:16:15 PDT