Subject: [sv-cc] FW: sv-cc: proposed errata for LRM-5 & LRM-17
From: Joao Geada (Joao.Geada@synopsys.com)
Date: Fri Oct 10 2003 - 13:22:34 PDT
Forwarding Andrzej's errata proposal.
These look fine to me.
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
==============================================================================
-----Original Message-----
From: Andrzej Litwiniuk [mailto:ail@synopsys.COM]
Sent: Wednesday, October 08, 2003 10:37 AM
To: Joao Geada
Cc: Andrzej I. Litwiniuk
Subject: sv-cc: proposed errata for LRM-5 & LRM-17
Hi,
Here is what I want to propose as the errata for LRM-5 & LRM-17.
Andrzej
------------------------------------------------------------------------
Errata for LRM-5 & LRM-17
-------------------------
LRM-5 is correct; LRM-17 needs corrections.
LRM-5 renders the following symbols superfluous and useless:
'list_of_dpi_proto_formals', 'dpi_proto_formal', 'dpi_dimension'.
These symbols should be removed from:
A.2.5, A.2.6, 10.6 (syntax in a box), 26.4.4 (syntax in a box).
Specifically:
in A.2.5 replace the note 9 (page 300) with the new note 15 (as defined
in LRM-17); remove note 9 from p.300.
in A.2.6 remove the rules for 'list_of_dpi_proto_formals',
'dpi_proto_formal'.
in 10.6 (syntax in a box) remove the rules for 'list_of_dpi_proto_formals'
and 'dpi_proto_formal'
in 26.4.4 (syntax in a box) remove the rules for 'list_of_dpi_proto_formals'
and 'dpi_proto_formal'
Section 4.8 contains a mistake/typo in the example added by LRM-17:
"task foo( string arr[] ); declares a task that accepts one argument,
a dynamic array of 4 strings"
Why 4 strings?
This archive was generated by hypermail 2b28 : Fri Oct 10 2003 - 13:25:54 PDT