[sv-bc] RE: [sv-ec] function external declarations and prototypes


Subject: [sv-bc] RE: [sv-ec] function external declarations and prototypes
From: David W. Smith (david.smith@synopsys.com)
Date: Tue Feb 25 2003 - 10:41:47 PST


Hello Francoise,
The request for supporting external functions and tasks is EXT-20 which was
generated in response to TRN-10 from SV-CC. The current status is that SV-CC
has generated a requirements statement and are working on defining a
solution. There is no support in the LRM at this time. There has been some
talk within SV-BC about using extern but I have not seen it in the LRM as of
this draft.

Your questions are good ones that we need to make sure are resolved between
whatever SV-CC and SV-BC come up with.

Regards
David

-----Original Message-----
From: owner-sv-ec@eda.org [mailto:owner-sv-ec@eda.org] On Behalf Of
Francoise Martinolle
Sent: Tuesday, February 25, 2003 8:52 AM
To: sv-ec@eda.org; sv-bc@eda.org
Subject: [sv-ec] function external declarations and prototypes

I am trying to find in the 3.1 latest draft a specification of the extern
function declarations.
I have not found any formal complete description or bnf. Is the BC or EC
working on creating this definition and resolving this issue? The sv-cc
committee is using the extern declaration for creating external
references to
function implemented in DirectC and there are questions regarding:

- if multiple extern declarations are provided, how should they match
between each other to be compatible? how would they match to the actual
declaration?

Specific questions are:
  do default values need to appear in the extern declaration?
  can extern function declarations have different names than the actual
function declaration
  can multiple extern function exist and be different?
  Should all formal arguments appear in the extern declaration?

francoise
       '



This archive was generated by hypermail 2b28 : Tue Feb 25 2003 - 10:43:10 PST