ISSUE 224

Number 224
Category errata
Synopsis 10.2, A.2.7: tf port declarations
State lrmdraft
Class errata-simple
Arrival-DateDec 18 2002
Originator Shalom.Bresticker@motorola.com
Release 2001b: 10.2 (Syntax 10-1), A.2.7
Environment
Description
The tf port declaration BNFs are defined as follows:

tf_input_declaration ::=
input [ reg ] [ signed ] [ range ] list_of_port_identifiers
| input [ task_port_type ] list_of_port_identifiers
tf_output_declaration ::=
output [ reg ] [ signed ] [ range ] list_of_port_identifiers
| output [ task_port_type ] list_of_port_identifiers
tf_inout_declaration ::=
inout [ reg ] [ signed ] [ range ] list_of_port_identifiers
| inout [ task_port_type ] list_of_port_identifiers

task_port_type ::=
time | real | realtime | integer


Two notes:

A. In each of the declarations, both productions are
possible when none of the optional parts are used,
e.g., input list_of_port_identifiers.

That could be fixed by removing the brackets around 'reg'
or around 'task_port_type'.

B. In tf_inout_declaration, in "inout [ task_port_type ]",
the left square bracket after 'inout' is incorrectly bold.
It should be non-bold.
Fix
In A.2.7 and in Syntax 10-1 of 10.2, delete
the square brackets from each occurrence of

[ task_port_type ]

Audit-Trail

From: Steven Sharp <sharp@cadence.com>
To: etf-bugs@boyd.com, Shalom.Bresticker@motorola.com
Cc:
Subject: Re: errata/224: 10.2, A.2.7: tf port declarations
Date: Wed, 18 Dec 2002 20:30:34 -0500 (EST)

>tf_inout_declaration ::=
> inout [ reg ] [ signed ] [ range ] list_of_port_identifiers
> | inout [ task_port_type ] list_of_port_identifiers
>

>A. In each of the declarations, both productions are
>possible when none of the optional parts are used,
>e.g., input list_of_port_identifiers.
>
>That could be fixed by removing the brackets around 'reg'
>or around 'task_port_type'.

Can't do it by removing the brackets around 'reg'. That would disallow
things like
input signed a;
output [7:0] b;
inout signed [3:0] c;
which are currently legal.

But removing the brackets around 'task_port_type' should work.

Or leave it alone, since it is not wrong.

Steven Sharp
sharp@cadence.com

From: Shalom.Bresticker@motorola.com
To: etf-bugs@boyd.com
Cc:
Subject: Re: errata/224: PROPOSAL - 10.2, A.2.7: tf port declarations
Date: Wed, 10 Dec 2003 17:10:34 +0200 (IST)

I made this change in tf_input_declaration in Syntax 10-3 as well.

Shalom


On Sat, 21 Dec 2002 Brad.Pierce@synopsys.com wrote:

> In A.2.7 and in Syntax 10-1 of 10.2, delete
> the square brackets from each occurrence of
>
> [ task_port_type ]
>
> http://boydtechinc.com/cgi-bin/issueproposal.pl?cmd=view&pr=224

--
Shalom Bresticker Shalom.Bresticker@motorola.com
Design & Reuse Methodology Tel: +972 9 9522268
Motorola Semiconductor Israel, Ltd. Fax: +972 9 9522890
POB 2208, Herzlia 46120, ISRAEL Cell: +972 50 441478

Unformatted


Hosted by Boyd Technology