[sv-cc] RE: vpi Identifier for property and sequence declarations

Hi Lisa,
 
Below.
 
Thx.
-Bassam.

________________________________

From: Lisa Piper [mailto:piper@cadence.com] 
Sent: Monday, October 15, 2007 7:19 PM
To: Bassam Tabbara
Cc: sv-ac@eda-stds.org; sv-cc@eda-stds.org
Subject: RE: vpi Identifier for property and sequence declarations



Hi Bassam,

 

A few more questions - 

 

1.	The vpiIdentifier iterator provides the names of the arguments.
How do I query the type of the argument? 
	[Bassam Tabbara] There was no type before now :). We missed this
fix in 1549 et. al. Actually, I had thought this was upgraded akin to
tf_port_list last revision, need mantis item. 
2.	36.46 for sequence declaration has a vpiArgument which is an
iterator to the actual arguments of a sequence instance.  Why doesn't
the property declaration have the same?
	[Bassam Tabbara] Has mantis item 1503. 
3.	In the 36.44 vpiDefLineNo is a "str".  Shouldn't this be an
"int".  In the assertions, only concurrent assertions show it as an
"int" 
	[Bassam Tabbara] Yes, need also fix 36.45/46/48. 

 

Lisa

 

________________________________

From: Bassam Tabbara [mailto:Bassam.Tabbara@synopsys.com] 
Sent: Monday, October 15, 2007 2:36 PM
To: Lisa Piper
Cc: sv-ac@eda-stds.org
Subject: RE: vpi Identifier for property and sequence declarations

 

Hi Lisa,

 

Indeed that's what it is -- if you feel this needs clarification please
do file a mantis item with SV-CC to add said note.

 

Thx.

-Bassam.

 

 

________________________________

From: Lisa Piper [mailto:piper@cadence.com] 
Sent: Monday, October 15, 2007 9:28 AM
To: Bassam Tabbara
Cc: sv-ac@eda-stds.org
Subject: vpi Identifier for property and sequence declarations

Hi Bassam,

I think the LRM needs a note that the vpiIdentifier iterator for
property and sequence declarations is a list of the formal parameters
(if any). This affects 36.46 and 36.44.  If you agree then I will open a
Mantis item and create the proposal.

Lisa


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.