[sv-ac] Add assertion to Section 1 SV 3.1 improvement list?

Subject: [sv-ac] Add assertion to Section 1 SV 3.1 improvement list?
From: Adam Krolnik (krolnik@lsil.com)
Date: Mon Apr 21 2003 - 11:10:47 PDT

• Next message: Adam Krolnik: "[sv-ac] BNF issue with concurrent_assert_item."
• Previous message: David W. Smith: "RE: [sv-ac] Wrong spelling of goto operator in BNF (App A.)"
• Next in thread: David W. Smith: "RE: [sv-ac] Add assertion to Section 1 SV 3.1 improvement list?"
• Reply: David W. Smith: "RE: [sv-ac] Add assertion to Section 1 SV 3.1 improvement list?"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

All,

I would suggest we introduce assertions in the improvement list.

Proposal as follows:

Section 1, page 2.

  - Assertion mechanism for verifying design intent and functional
    coverage intent.
    - Property and sequence declarations
    - Assertions and Coverage statements with action blocks.

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

• Next message: Adam Krolnik: "[sv-ac] BNF issue with concurrent_assert_item."
• Previous message: David W. Smith: "RE: [sv-ac] Wrong spelling of goto operator in BNF (App A.)"
• Next in thread: David W. Smith: "RE: [sv-ac] Add assertion to Section 1 SV 3.1 improvement list?"
• Reply: David W. Smith: "RE: [sv-ac] Add assertion to Section 1 SV 3.1 improvement list?"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b28 : Mon Apr 21 2003 - 11:13:57 PDT