Subject: Fwd: FW: [sv-bc] task/function_declaration with empty port_list
From: Karen Pieper (Karen.Pieper@synopsys.com)
Date: Wed Nov 12 2003 - 14:34:31 PST
>From: Hermann.Ilmberger@infineon.com
>X-Authentication-Warning: server.eda.org: pieper set sender to
>Hermann.Ilmberger@infineon.com using -f
>To: owner-sv-bc@eda.org
>Subject: FW: [sv-bc] task/function_declaration with empty port_list
>Date: Wed, 12 Nov 2003 15:18:55 +0100
>X-Message-Flag: Follow up
>X-Mailer: Internet Mail Service (5.5.2653.19)
>X-Spam-Status: No, hits=-2.4 required=5.0
> tests=NO_REAL_NAME,ORIGINAL_MESSAGE
> autolearn=ham version=2.52
>X-Spam-Checker-Version: SpamAssassin 2.52 (1.174.2.8-2003-03-24-exp)
>X-Loop: pieper@eda.org
>X-pstn-levels: (S:40.1914 R:95.9108 P:95.9108 M:98.9607 C:78.1961 )
>X-pstn-settings: 1 (0.1500:0.1500) r p m C
>X-pstn-addresses: from <Hermann.Ilmberger@infineon.com> [381/10]
>
>Hi,
>I sent this to the list two days ago, but it never made it. I am member of
>the list.
>Best regards,
>-Hermann
>Hermann Ilmberger, Infineon Technologies AG
>
>-----Original Message-----
>From: Ilmberger Hermann (CL DAT TDM VM)
>Sent: Monday, November 10, 2003 3:32 PM
>To: sv-bc@eda.org
>Subject: [sv-bc] task/function_declaration with empty port_list
>
>
>Hi,
>
>is this a bug in the formal syntax of SV3.1?
>The formal syntax for function_declaration does not allow
>
>function juhu(); // with empty function_port_list
>...
>endfunction
>
>However, it seems that this is desirable for functions that
>do not take arguments. Examples appear in section 11.3:
>
>class Packet;
>function new();
>...
>endfunction
>task clean();
>...
>endtask
>endclass
>
>However, in 19.6.2:
>import task slaveRead(),
> task slaveWrite());
>This is o.k. since named_function_proto allows an empty
>list_of_function_proto_formals.
>
>Section 10.5.5 "Optional argument list" seems to refer only to function/task
>call and
>not to declaration.
>
>Cheers,
>-Hermann
>Hermann Ilmberger, Infineon Technologies AG
This archive was generated by hypermail 2b28 : Wed Nov 12 2003 - 15:20:39 PST