[sv-cc] assertion API

Subject: [sv-cc] assertion API
From: Francoise Martinolle (fm@cadence.com)
Date: Wed Apr 16 2003 - 14:01:20 PDT

• Next message: Andrzej Litwiniuk: "Re: [sv-cc] SV-CC LRM - array of strings"
• Previous message: Francoise Martinolle: "Re: [sv-cc] SV-CC LRM - array of strings"
• Next in thread: Bassam Tabbara: "RE: [sv-cc] assertion API"
• Reply: Bassam Tabbara: "RE: [sv-cc] assertion API"
• Reply: Joao Geada: "FW: [sv-cc] assertion API"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

After reviewing the assertion chapter, I thought it would be good to review
again
the assertion API chapter.
While doing do, I found no correlation between some of the directive
properties:
vpiAssumeAssertion, vpiRestrictAssertion etc, with the assertion chapter.

Should this really be in our API or should we remove some of these properties
directive because they are not in the language anymore.

Francoise
        '

• Next message: Andrzej Litwiniuk: "Re: [sv-cc] SV-CC LRM - array of strings"
• Previous message: Francoise Martinolle: "Re: [sv-cc] SV-CC LRM - array of strings"
• Next in thread: Bassam Tabbara: "RE: [sv-cc] assertion API"
• Reply: Bassam Tabbara: "RE: [sv-cc] assertion API"
• Reply: Joao Geada: "FW: [sv-cc] assertion API"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b28 : Wed Apr 16 2003 - 14:04:28 PDT