Subject: [sv-cc] assertion API issues
From: Francoise Martinolle (fm@cadence.com)
Date: Thu Apr 17 2003 - 07:21:28 PDT
Type:Single Meeting
Organizer:Francoise Martinolle
Start Time:Thursday, April 17, 2003 10:30 AM
End Time:Thursday, April 17, 2003 11:00 AM
Time Zone:Eastern Time (US & Canada)
Location:
*~*~*~*~*~*~*~*~*~*
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?
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:22:41 PDT