[sv-cc] Import grammar proposal


Subject: [sv-cc] Import grammar proposal
From: Joao Geada (Joao.Geada@synopsys.com)
Date: Wed Jul 30 2003 - 08:47:34 PDT


Hi all,

many apologies for being quite late with this action item.

The proposal is to change the "dpi_function_proto" in section A.2.6 as follows:

dpi_function_proto: function named_function_proto

footnote attached to this production:
a) dpi_function_proto return types are restricted to small values, as per 26.4.5
c) formal arguments to a dpi_function_proto are restricted as per 26.4.6.
   Broadly, neither reference arguments nor classes can be formals to a dpi_function_proto

NOTES:
 1) this production is identical to the function part of method_prototype in
    A.1.8 and very similar to the function part of modport_tf_port, in
    section A.2.9. So I posit that this kind of accept broad language in BNF
    and then restrict the semantics in the appropriate section is the "Verilog way" ;-)
  
Joao
==============================================================================
Joao Geada, PhD Principal Engineer Verif Tech Group
Synopsys, Inc TEL: (508) 263-8083
377 Simarano Drive, Suite 300, FAX: (508) 263-8069
Marlboro, MA 01752, USA
==============================================================================



This archive was generated by hypermail 2b28 : Wed Jul 30 2003 - 08:48:42 PDT