ISSUE 114

Number 114
Category errata
Synopsis A.1.5, A.2.1.1, A.2.8: port style parameter declarations
State lrmdraft
Class errata-discuss
Arrival-DateSep 11 2002
Originator Karen Pieper <Karen.Pieper@synopsys.com>
Release 2001b: 2.8.2, 3.11.1, 9.8.1-2, 10.2-3, 12.1, A.1.5, A.2.1.1, A.2.8
Environment
http://boydtechinc.com/btf/archive/att-1803/01-ParameterFix_20020415.pdf

#20
#154
#165
Description
Let's get this in the database so we get it in the errata document.

K

>X-Authentication-Warning: max.boyd.com: majordomo set sender to
>owner-etf@boyd.com using -f
>From: Shalom.Bresticker@motorola.com
>X-Authentication-Warning: eagle.msil.sps.mot.com: shalom owned process
>doing -bs
>Date: Wed, 11 Sep 2002 22:13:34 +0300 (IDT)
>X-Sender: shalom@eagle
>To: Karen Pieper <Karen.Pieper@synopsys.COM>
>Cc: etf@boyd.com, Brad.Pierce@synopsys.COM
>Subject: Re: port style parameter declarations
>Sender: owner-etf@boyd.com
>
>Precedence: bulk
>
>Karen,
>
>Look at http://boydtechinc.com/btf/archive/btf_2002/1803.html
>
>That is the resolution of a discussion on this.
>But it still has to enter ETF database.
>
>Shalom
>
>
>On Wed, 11 Sep 2002, Karen Pieper wrote:
>
> > Date: Wed, 11 Sep 2002 10:48:28 -0700
> > From: Karen Pieper <Karen.Pieper@synopsys.com>
> > To: etf@boyd.com
> > Cc: Brad.Pierce@synopsys.com
> > Subject: port style parameter declarations
> >
> > Precedence: bulk
> >
> > In looking over my copy of the grammar for parameters declared like ports,
> > it looks like a module
> > would have to be declared as:
> >
> > for one parameter declaration:
> > module foo(#parameter a=1;) (<ports>)
> > // note the trailing ";"^
> > // Note also, the first example in section 12.2 is missing the
> trailing
> > semi-colon.
> > endmodule;
> >
> >
> > for multiple parameter declarations:
> > module foo (#parameter a = 1, b=2;, parameter real c=3.0;) (<ports>)
> > // note the ";," ^
> > endmodule;
> >
> >
> > I seem to remember some discussion on this, but I can't find an errata
> > filed. Is there one, or is this
> > resolved in Cliff's letter, or is this a new errata?
> >
> > Thanks,
> >
> > Karen
> >
> >
> >
> >


Fix
See
http://boydtechinc.com/btf/archive/att-1803/01-ParameterFix_20020415.pdf
as modified by applying the changes to localparams as well.

The final changes are as follows:

1. (Note: The following is affected by issues #20, #154)

In BNF of the following items:

a) module_item

(Syntax 2-6 (2.8.2), Syntax 12-1 (12.1),
Syntax 12-3 (12.1.3), A.1.5)

b)non_port_module_item

(as above, except Syntax 12-3)

and c) block_item_declaration

(Syntax 2-7 (2.8.2), Syntax 9-13 ( 9.8.1),
Syntax 9-14 (9.8.2), Syntax 10-1 (10.2.1),
Syntax 10-3 (10.3.1), A.2.8),

CHANGE: 

| { attribute_instance } local_parameter_declaration
| { attribute_instance } parameter_declaration


TO: 

| { attribute_instance } local_parameter_declaration ";"
| { attribute_instance } parameter_declaration ";"



2. (Note: The following is affected by issue #165)

In Syntax 3-4 (3.11.1) and A.2.1.1,

CHANGE BNFs of

local_parameter_declaration and parameter_declaration

FROM: 


local_parameter_declaration ::=  
    localparam [ signed ] [ range ] list_of_param_assignments ;
  | localparam integer  list_of_param_assignments ;
  | localparam real     list_of_param_assignments ;
  | localparam realtime list_of_param_assignments ;
  | localparam time     list_of_param_assignments ;

parameter_declaration ::=
    parameter [ signed ] [ range ] list_of_param_assignments ;
  | parameter integer   list_of_param_assignments ;
  | parameter real      list_of_param_assignments ;
  | parameter realtime  list_of_param_assignments ;
  | parameter time      list_of_param_assignments ;


TO: 


local_parameter_declaration ::=  
    localparam [ signed ] [ range ] list_of_param_assignments
  | localparam integer  list_of_param_assignments 
  | localparam real     list_of_param_assignments 
  | localparam realtime list_of_param_assignments 
  | localparam time     list_of_param_assignments 

parameter_declaration ::=
    parameter [ signed ] [ range ] list_of_param_assignments
  | parameter integer   list_of_param_assignments 
  | parameter real      list_of_param_assignments 
  | parameter realtime  list_of_param_assignments 
  | parameter time      list_of_param_assignments


Audit-Trail

From: Shalom Bresticker <Shalom.Bresticker@motorola.com>
To: etf-bugs@boyd.com
Cc:
Subject: Re: errata/114: port style parameter declarations
Date: Mon, 11 Nov 2002 16:54:34 +0200

>Category: errata
>Confidential: no
>Originator: Shalom Bresticker <Shalom.Bresticker@motorola.com>
>Release: 2001b
>Class: TBD
>Description:


> >Look at http://boydtechinc.com/btf/archive/btf_2002/1803.html

Well, I said to look at it, so I did that myself.

Having done so, I see an inconsistency.

That solution involves deleting the semicolon at the end of parameter_declaration
and adding it back where parameter_declaration is used in module_item,
non_port_module_item and block_item_declaration.

An inconsistency is then created between parameter_declaration and
local_parameter_declaration. The semicolon is deleted from the former,
but left in the latter.

Therefore, I propose to apply the same change to the definition and use
of local_parameter_declaration as well.


From: Shalom Bresticker <Shalom.Bresticker@motorola.com>
To: etf-bugs@boyd.com
Cc:
Subject: Re: errata/114: port style parameter declarations
Date: Mon, 11 Nov 2002 17:06:09 +0200

>Category: errata
>Confidential: no
>Originator: Shalom Bresticker <Shalom.Bresticker@motorola.com>
>Release: 2001b
>Class: TBD
>Description:
The sections affected by this issue are:

2.8.2 (Syntaxes 2-6, 2-7),
3.11.1 (Syntax 3-4),
9.8.1 (Syntax 9-13),
9.8.2 (Syntax 9-14),
10.2.1 (Syntax 10-1),
10.3.1 (Syntax 10-3),
12.1 (Syntax 12-1),
12.1.3 (Syntax 12-3),
A.1.5,
A.2.1.1,
A.2.8


From: Shalom Bresticker <Shalom.Bresticker@motorola.com>
To: etf-bugs@boyd.com
Cc:
Subject: Re: errata/114: port style parameter declarations
Date: Mon, 11 Nov 2002 17:10:57 +0200

>Category: errata
>Confidential: no
>Originator: Shalom Bresticker <Shalom.Bresticker@motorola.com>
>Release: 2001b
>Class: TBD
>Description:
This issue is discussed in mail threads beginning at:

http://boydtechinc.com/btf/archive/btf_2002/1710.html
http://boydtechinc.com/btf/archive/btf_2002/1716.html
http://boydtechinc.com/btf/archive/btf_2002/1797.html
http://boydtechinc.com/btf/archive/btf_2002/1803.html (contains fix
accepted by SV committee)
http://www.eda.org/vlog-synth/hm/0454.html


Unformatted


Hosted by Boyd Technology