[sv-ac] RE: Accellera FVTC: Link to completed LRM and next meeting access information

Subject: [sv-ac] RE: Accellera FVTC: Link to completed LRM and next meeting access information
From: Vassilios.Gerousis@Infineon.Com
Date: Thu Sep 12 2002 - 22:47:56 PDT

• Next message: Vassilios.Gerousis@Infineon.Com: "[sv-ac] The SV Chairs Process for SV 3.1 LRM standardization"
• Previous message: Erich Marschner: "RE: [sv-ac] RE: R44c - assume/check either, neither; must/should/could."
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

FYI
=====================================
The Formal Verification Technical Committee LRM is now available for review
at:

http://www.eda-twiki.org/vfv/fp_lrm_0912.pdf
<http://www.eda-twiki.org/vfv/fp_lrm_0912.pdf>

-Harry

---------------------------------------------------------

Harry Foster Tel 972-423-3186
Chief Architect Cell 408-234-7637
Verplex Systems, Inc. mailto:harry@verplex.com
<mailto:harry@verplex.com>
300 Montague Expwy, Suite 100 www.verplex.com
<http://www.verplex.com>
Milpitas, CA 95035 www.verifiableRTL.com
<http://www.verifiableRTL.com>

• Next message: Vassilios.Gerousis@Infineon.Com: "[sv-ac] The SV Chairs Process for SV 3.1 LRM standardization"
• Previous message: Erich Marschner: "RE: [sv-ac] RE: R44c - assume/check either, neither; must/should/could."
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b28 : Thu Sep 12 2002 - 22:49:09 PDT