[sv-bc] list of some errata, remarks, questions, and proposals

Subject: [sv-bc] list of some errata, remarks, questions, and proposals
From: Thomas.Kruse@Infineon.Com
Date: Thu Sep 04 2003 - 07:04:22 PDT

• Next message: David W. Smith: "[sv-bc] FW: [sv-ec] list of some errata, remarks, questions, and proposals"
• Previous message: David W. Smith: "[sv-bc] Email problems with AOL accounts"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Hi everybody,

please find attached a list with some errata, remarks, questions, and
proposals
about SV3.1. I think at least some of the detected issues are fundamental.

Best regards
   Thomas

> Thomas Kruse
> Infineon Technologies AG
>
> Corporate Logic
> Design Automation
> Balanstr. 73
> 81541 Munich
>
> * Phone: +49 (0)89 234 46380
> * Fax: +49 (0)89 234 955 6601
> * Email: mailto:thomas.kruse@infineon.com
>
>

• application/wordperfect5.1 attachment: Issues_SV3.1_final.doc

• Next message: David W. Smith: "[sv-bc] FW: [sv-ec] list of some errata, remarks, questions, and proposals"
• Previous message: David W. Smith: "[sv-bc] Email problems with AOL accounts"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b28 : Thu Sep 04 2003 - 07:07:49 PDT