[sv-ac] Importing Assertions in modports (Proposal #10)

Subject: [sv-ac] Importing Assertions in modports (Proposal #10)
From: Adam Krolnik (krolnik@lsil.com)
Date: Mon Jan 12 2004 - 16:54:48 PST

• Next message: Adam Krolnik: "[sv-ac] Extracting assertions from functions (proposal #8)"
• Previous message: Surrendra Dudani: "[sv-ac] Meeting minutes: 1/12/04"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Here is the proposal.

I have the frame source and will submit that assuming final wordsmith changes.
The flow is the problem statement and solution, LRM changes and BNF changes.
There is a question asked about an additional example if necessary.

    Adam Krolnik
    Verification Mgr.
    LSI Logic Corp.
    Plano TX. 75074

• Next message: Adam Krolnik: "[sv-ac] Extracting assertions from functions (proposal #8)"
• Previous message: Surrendra Dudani: "[sv-ac] Meeting minutes: 1/12/04"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b28 : Mon Jan 12 2004 - 16:55:51 PST