Subject: RE: [sv-cc] assertion API issues
From: Bassam Tabbara (bassam@novas.com)
Date: Thu Apr 17 2003 - 10:34:11 PDT
Francoise, I guess this is not a general SV-CC meeting ? No number below
... Joao, please conference me in if there is anything I can help with,
you guys have this well in hand, thx for the review.
-Bassam.
-- Dr. Bassam Tabbara Technical Manager, R&D Novas Software, Inc.http://www.novas.com (408) 467-7893
> -----Original Message----- > From: owner-sv-cc@server.eda.org > [mailto:owner-sv-cc@server.eda.org] On Behalf Of Francoise Martinolle > Sent: Thursday, April 17, 2003 7:21 AM > To: joao.geada@synopsys.com > Cc: sv-cc@server.eda.org > Subject: [sv-cc] assertion API issues > > > 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 - 10:35:52 PDT