errata/141: 19.7: `line number

From: Brad Pierce (Brad.Pierce@synopsys.com)
Date: Wed Oct 02 2002 - 09:19:52 PDT


Precedence: bulk

>Number: 141
>Category: errata
>Originator: "Brad Pierce" <Brad.Pierce@synopsys.com>
>Environment:
>Description:

This is a multi-part message in MIME format.

------=_NextPart_000_0008_01C269F4.DD1DF560
Content-Type: text/plain;
        charset="iso-8859-1"
Content-Transfer-Encoding: 7bit

In Syntax 19-7, the first field in the `line compiler directive is a
"number", but "number" is not defined here. Although there is a "number"
nonterminal in the main grammar, we shouldn't allow every kind of Verilog
number in the `line compiler directive. For example, according to A.8.7,
one kind of Verilog "number" is "real_number". If we want to use a
nonterminal from the main grammar, then "unsigned_number" probably best
reflects the original intent --

     `line number "filename" level --?--> `line unsigned_number
"filename" level

According to to A.8.7,

     unsigned_number ::= decimal_digit { _ | decimal_digit }

-- Brad

------=_NextPart_000_0008_01C269F4.DD1DF560
Content-Type: text/html;
        charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD>
<META http-equiv=3DContent-Type content=3D"text/html; =
charset=3Diso-8859-1">
<META content=3D"MSHTML 5.50.4807.2300" name=3DGENERATOR></HEAD>
<BODY>
<DIV>
<DIV><SPAN class=3D247390222-01102002><FONT face=3DArial><FONT =
size=3D2>In Syntax=20
19-7, the first field in<SPAN class=3D700031016-02102002> =
the</SPAN>&nbsp;`line=20
compiler directive is a "number"<SPAN class=3D700031016-02102002>,=20
but&nbsp;"number" is not defined here.</SPAN>&nbsp;&nbsp;<SPAN=20
class=3D700031016-02102002>Although t</SPAN><SPAN =
class=3D700031016-02102002>here is=20
a "number" nonterminal in the main grammar,&nbsp;we</SPAN> shouldn't=20
allow&nbsp;every kind of&nbsp;Verilog number<SPAN =
class=3D700031016-02102002> in=20
the `line compiler directive</SPAN>.&nbsp; For example, according to =
A.8.7, one=20
kind of&nbsp;<SPAN class=3D700031016-02102002>Verilog </SPAN>"number" is =

"real_number".<SPAN class=3D700031016-02102002>&nbsp; If we want to use =
a=20
nonterminal from the main grammar, then "unsigned_number"&nbsp;probably =
best=20
reflects the&nbsp;original intent --</SPAN></FONT></FONT></SPAN></DIV>
<DIV><FONT face=3DArial size=3D2><SPAN=20
class=3D247390222-01102002></SPAN></FONT>&nbsp;</DIV>
<DIV><FONT face=3DArial size=3D2><SPAN=20
class=3D247390222-01102002>&nbsp;&nbsp;&nbsp;&nbsp; `line number =
"filename"=20
level&nbsp;&nbsp;&nbsp; --?--&gt;&nbsp;&nbsp;&nbsp; `line =
unsigned_number=20
"filename" level</SPAN></FONT></DIV>
<DIV><FONT face=3DArial size=3D2><SPAN=20
class=3D247390222-01102002></SPAN></FONT>&nbsp;</DIV>
<DIV><FONT face=3DArial size=3D2><SPAN =
class=3D247390222-01102002>According to to=20
A.8.7, </SPAN></FONT></DIV>
<DIV><FONT face=3DArial size=3D2><SPAN=20
class=3D247390222-01102002></SPAN></FONT>&nbsp;</DIV>
<DIV><FONT face=3DArial size=3D2><SPAN=20
class=3D247390222-01102002>&nbsp;&nbsp;&nbsp;&nbsp; unsigned_number =
::=3D=20
decimal_digit { _ | decimal_digit }</SPAN></FONT></DIV>
<DIV><FONT face=3DArial size=3D2><SPAN=20
class=3D247390222-01102002></SPAN></FONT>&nbsp;</DIV>
<DIV><FONT face=3DArial size=3D2><SPAN class=3D247390222-01102002>--=20
Brad</SPAN></FONT></DIV>
<DIV><FONT face=3DArial size=3D2><SPAN=20
class=3D247390222-01102002></SPAN></FONT>&nbsp;</DIV>
<DIV><FONT face=3DArial size=3D2><SPAN=20
class=3D247390222-01102002></SPAN></FONT>&nbsp;</DIV>
<DIV><FONT face=3DArial size=3D2><SPAN=20
class=3D247390222-01102002></SPAN></FONT>&nbsp;</DIV>
<DIV><FONT face=3DArial size=3D2><SPAN=20
class=3D247390222-01102002></SPAN></FONT>&nbsp;</DIV></DIV></BODY></HTML>=

------=_NextPart_000_0008_01C269F4.DD1DF560--



This archive was generated by hypermail 2.1.4 : Thu Oct 10 2002 - 09:24:30 PDT and
sponsored by Boyd Technology, Inc.