[sv-ac] Extracting assertions from functions (proposal #8)

Subject: [sv-ac] Extracting assertions from functions (proposal #8)
From: Adam Krolnik (krolnik@lsil.com)
Date: Mon Jan 12 2004 - 16:56:42 PST

• Next message: John Havlicek: "[sv-ac] final final final proposal 19"
• Previous message: Adam Krolnik: "[sv-ac] Importing Assertions in modports (Proposal #10)"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Here is the proposal. I have the frame source that I will submit pending
any final wordsmithing by the group.

The content is the problem statement and solution, followed by the LRM addition.
There are no BNF changes necessary.

    THanks.

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

• Next message: John Havlicek: "[sv-ac] final final final proposal 19"
• Previous message: Adam Krolnik: "[sv-ac] Importing Assertions in modports (Proposal #10)"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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