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

Maybe or maybe not.  As I've come to understand the
underlying assertion semantics more, we may have
to redo the VPI object models yet again.  But I haven't
had a chance to write that up yet.

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 John Havlicek
]Sent: Thursday, January 24, 2008 2:44 PM
]To: sv-ac@eda.org; sv-cc@eda.org
]Subject: [sv-cc] 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.