[sv-ac] Extracting assertions from functions proposal

Subject: [sv-ac] Extracting assertions from functions proposal
From: Adam Krolnik (krolnik@lsil.com)
Date: Fri Sep 12 2003 - 14:27:19 PDT

• Next message: Adam Krolnik: "[sv-ac] Acrobat version of proposals"
• Previous message: Adam Krolnik: "[sv-ac] Importing assertions from an interface into module scope."
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Here's the proposal for extraction from functions.

     Adam Krolnik
     Verification Mgr.
     LSI Logic Corp.
     Plano TX. 75074
     Co-Author "Assertion Based Design"

• application/octet-stream attachment: FunctionExtract.fm

• Next message: Adam Krolnik: "[sv-ac] Acrobat version of proposals"
• Previous message: Adam Krolnik: "[sv-ac] Importing assertions from an interface into module scope."
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b28 : Fri Sep 12 2003 - 14:28:21 PDT