[sv-cc] RE: changes for 1503 uploaded

Hi Lisa,
 
I think a good fix for remaining issue (accessing decls for decompile)
is to add property/sequence decl in same location as "concurrent
assertion" shows up in diagrams i.e. in scopes and in clocking block.
[This is consistent with BNF (concurrent_assertion_item_declaration).]
 
Thx.
-Bassam.
 

________________________________

From: Lisa Piper [mailto:piper@cadence.com] 
Sent: Monday, December 17, 2007 3:15 PM
To: Jim Vellenga; Bassam Tabbara
Cc: sv-ac@eda.org; sv-cc@eda.org
Subject: changes for 1503 uploaded



Hi all,

	

I have updated the 1503 VPI corrections proposal.  The changes are as
follows:

	

	SV-CC review comments:

1.      [JV] Per Jim's discussion, the notes for each callback were
replaced with a paragraph at the end that states what is possible.

2.      variables was moved from property spec to property declaration,
which is consistent with the BNF and examples in the text.

3.      vpiDefFile and vpiDefLineNo were deleted from property
declaration and sequence declaration and the note added:  vpiDefFile and
vpiDefLineNo are deprecated because they are the same as vpiLineNo and
vpiFile

I have NOT addressed the issue that Jim rose about being able to access
property and sequence definitions that are not instantiated.  I think
this needs discussion. Is it as simple as adding the property and
sequence declarations as VPI handles in 38.3.2?  We could say it is
beyond the scope of this but I'd just as soon get it fixed if possible.

<<1503_vpi_071217.pdf>> 

Lisa


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