Subject: [sv-cc] Updated extern/exports proposal
From: Joao Geada (Joao.Geada@synopsys.com)
Date: Tue Mar 11 2003 - 19:35:25 PST
Attached as an HTML file.
I believe I have accounted for all the required clarifications and corrections.
There is now a lot more detail about the behavior of pure and context functions,
description of the context manipulation APIs, examples of context, descriptions
of the capabilities and limitations of extern and exported functions, listing
of issues that are deferred with current "workarounds".
In addition, I have also permitted multiple externs to exist in 1 scope IFF
all the externs define exactly the same type signature and all agree exactly
on the names of formals (as requested by Michael). Note that in addition, the
workaround section suggests a few better ways to address this issue.
Joao
==============================================================================
Joao Geada, PhD Principal Engineer Verif Tech Group
Synopsys, Inc TEL: (508) 263-8083
344 Simarano Drive, Suite 300, FAX: (508) 263-8069
Marlboro, MA 01752, USA
==============================================================================
This archive was generated by hypermail 2b28 : Tue Mar 11 2003 - 19:36:49 PST