[sv-ac] Importing assertions from an interface into module scope.

Subject: [sv-ac] Importing assertions from an interface into module scope.
From: Adam Krolnik (krolnik@lsil.com)
Date: Fri Sep 12 2003 - 14:26:08 PDT

• Next message: Adam Krolnik: "[sv-ac] Extracting assertions from functions proposal"
• Previous message: Adam Krolnik: "Re: [sv-ac] $display in assertions"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Here is the proposal.

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

• application/octet-stream attachment: ImportAssertion.fm

• Next message: Adam Krolnik: "[sv-ac] Extracting assertions from functions proposal"
• Previous message: Adam Krolnik: "Re: [sv-ac] $display in assertions"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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