RE: [sv-cc] RE: [sv-ac] no VPI changes needed for 1668

FWIW, I agree on this one.  The existing vpiExpr relation
on variables can be used to represent the initial
value assignments, if any, added to assertion local
variables.

Regards,
Jim Vellenga

--------------------------------------------------------- 
James H. Vellenga                            978-262-6381 
Software Architect                     (FAX) 978-262-6636 
Cadence Design Systems, Inc.         vellenga@cadence.com 
270 Billerica Rd
Chelmsford, MA 01824-4179
"We all work with partial information." 
----------------------------------------------------------  

]-----Original Message-----
]From: owner-sv-cc@eda.org [mailto:owner-sv-cc@eda.org] On 
]Behalf Of Bassam Tabbara
]Sent: Thursday, January 24, 2008 4:37 PM
]To: john.havlicek@freescale.com; sv-ac@eda.org; sv-cc@eda.org
]Subject: [sv-cc] RE: [sv-ac] no VPI changes needed for 1668
]
]Hi John,
]
]I agree, a minor correction to motivation -- The variables iterator was
]always there (see sequence decl) just seemed to live on 
]property spec so
]is corrected in 1503. Agreed on the init as well, this is actually the
]idea behind the prop/seq formal decl model -- I am also of the 
]same mind
]on 1667, extend the formal decls appropriately, keep general/simple,
]semantic restrictions in notes if needed. 
]
]Thx.
]-Bassam.
]
]-----Original Message-----
]From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On 
]Behalf Of John
]Havlicek
]Sent: Thursday, January 24, 2008 11:44 AM
]To: sv-ac@eda.org; sv-cc@eda.org
]Subject: [sv-ac] no VPI changes needed for 1668
]
]Hi Folks:
]
]I have reviewed 1668 (local variable declaration assignments), and I do
]not believe that any VPI changes are needed for it.
]
]My rationale is the following.  1503 will change the "property decl"
]object definition to have an iterator arc to the "variables" class.
]The "variables" class definition already has an arc to the "expr"
]class, which, according to note 8) for the "variables" class 
]definition,
]is how the initialization expression is obtained.
]
]J.H.
]
]
]--
]This message has been scanned for viruses and dangerous content by
]MailScanner, and is believed to be clean.
]
]
]-- 
]This message has been scanned for viruses and
]dangerous content by MailScanner, and is
]believed to be clean.
]
]
]

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