Subject: [sv-cc] Assertion API issues
From: Francoise Martinolle (fm@cadence.com)
Date: Thu Apr 17 2003 - 07:24:03 PDT
Joao,
If we remove the directive property on an assertion. I think that we should create a new object type called vpiCover to represent the cover statement.
Unless an assert statement also represents cover statements?
Let me know what you intended to represent at that time.
Also I think that there is a problem in the VPI object diagram.
The object listed there is property, but we only iterate on assertions.
Should this not be an assertion in the diagram?
Francoise
'
This archive was generated by hypermail 2b28 : Thu Apr 17 2003 - 07:25:24 PDT