Subject: Re: Accellera FV list of documents
From: Axel S Scherer (axels@cadence.com)
Date: Thu Jul 12 2001 - 13:08:10 PDT
Hi Harry,
I miss the docs on 'e' 3,4,5.
Thanks,
-Axel
At 10:21 AM 7/5/01 -0500, Harry Foster wrote:
>The following is a complete listing of the
>Accellera Formal Verification Committee
>documents. If you are missing a document
>let me know and I'll send it to you. If I
>am missing a document you feel should be
>on the list please let me know.
>
>Best regards,
>
>-Harry
>
>
>Requirements Sub-committee Documents:
>====================================
> (1) Language Requirements (Excel)
> (2) Property Examples (Word)
>
>'e': (Verisity)
>====================================
> (3) 'e' Reference Manual (PDF)
> (4) 'e' Semantics Manual (PDF)
> (5) 'e' language presentation (PDF)
>
>Sugar: (IBM)
>====================================
> (6) Guide to Sugar Formal Specification Language (PDF)
> (7) Syntax and Semantics of Sugar (PDF)
> (8) Sugar language presentation (PDF)
> (9) FoCs - Automatic Generation of Simulation Checkers
> from Formal Specifications (PDF paper)
> (10) EDL -- Environment Description Language (PDF)
>
>CBV: (Motorola)
>====================================
> (11) CBV Reference Manual (PDF)
> (12) CBV language presentation (PDF)
>
>ForSpec: (Intel)
>====================================
> (13) ForSpec Reference Manual (PDF)
> (14) The ForSpec Temporal Logic:
> A New Temporal Property-Specification
> Logic (PDF paper)
> (15) ForSpec Presentation (PowerPoint)
> (16) Branching vs. Linear Time (PDF paper)
>
>
>
This archive was generated by hypermail 2b28 : Thu Jul 12 2001 - 13:09:11 PDT