| Number | 505
|
| Category | errata
|
| Synopsis | 10.2.1 -- declaration of portless tasks
|
| State | lrmdraft
|
| Class | errata-simple
|
| Arrival-Date | Nov 12 2003
|
| Originator | "Brad Pierce" <Brad.Pierce@synopsys.com>
|
| Release | 2001b
|
| Description |
In 10.2.1, the LRM says -- "The task_port_list shall consist of zero or more comma separated task_port_items." Shouldn't this be -- "The task_port_list shall consist of one or more comma-separated task_port_items." ? According to the BNF, the following declaration would be illegal. task t (); endtask -- Brad |
| Fix |
In Syntax 10-1 and in A.2.7, REPLACE task_declaration ::= "task" [ "automatic" ] task_identifier ";" { task_item_declaration } statement_or_null "endtask" | "task" [ "automatic" ] task_identifier "(" task_port_list ") ;" { block_item_declaration } statement_or_null "endtask" WITH task_declaration ::= "task" [ "automatic" ] task_identifier ";" { task_item_declaration } statement_or_null "endtask" | "task" [ "automatic" ] task_identifier "(" [ task_port_list ] ") ;" { block_item_declaration } statement_or_null "endtask" |
| Audit-Trail |
From: Shalom Bresticker <Shalom.Bresticker@motorola.com> To: Brad Pierce <Brad.Pierce@synopsys.com> Cc: etf-bugs@boyd.com Subject: Re: errata/505: 10.2.1 -- declaration of portless tasks Date: Thu, 13 Nov 2003 13:08:43 +0200 True. VCS accepts it, though. Shalom > In 10.2.1, the LRM says -- > > "The task_port_list shall consist of zero or more comma separated > task_port_items." > > Shouldn't this be -- > > "The task_port_list shall consist of one or more comma-separated > task_port_items." > > ? According to the BNF, the following declaration would be illegal. > > task t (); > endtask -- 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 From: Steven Sharp <sharp@cadence.com> To: etf-bugs@boyd.com, Shalom.Bresticker@motorola.com Cc: Subject: Re: errata/505: Re: errata/505: 10.2.1 -- declaration of portless tasks Date: Thu, 13 Nov 2003 11:21:05 -0500 (EST) > VCS accepts it, though. NC-Verilog accepts it. Steven Sharp sharp@cadence.com From: "Brad Pierce" <Brad.Pierce@synopsys.com> To: <etf-bugs@boyd.com> Cc: Subject: Re: errata/505: 10.2.1 -- declaration of portless tasks Date: Thu, 13 Nov 2003 08:43:18 -0800 Then probably the text is right and the BNF is wrong. -- Brad -----Original Message----- From: owner-etf@boyd.com [mailto:owner-etf@boyd.com]On Behalf Of Steven Sharp Sent: Thursday, November 13, 2003 8:20 AM To: etf-bugs@boyd.com Subject: errata/505: Re: errata/505: Re: errata/505: 10.2.1 -- declaration of portless tasks The following reply was made to PR errata/505; it has been noted by GNATS. From: Steven Sharp <sharp@cadence.com> To: etf-bugs@boyd.com, Shalom.Bresticker@motorola.com Cc: Subject: Re: errata/505: Re: errata/505: 10.2.1 -- declaration of portless tasks Date: Thu, 13 Nov 2003 11:21:05 -0500 (EST) > VCS accepts it, though. NC-Verilog accepts it. Steven Sharp sharp@cadence.com From: Steven Sharp <sharp@cadence.com> To: etf-bugs@boyd.com, Brad.Pierce@synopsys.com Cc: Subject: Re: errata/505: Re: errata/505: 10.2.1 -- declaration of portless tasks Date: Thu, 13 Nov 2003 13:05:40 -0500 (EST) We can decide that we want to follow the text rather than the BNF. There doesn't seem to be any reason not to. Steven Sharp sharp@cadence.com Fix replaced by Brad.Pierce@Synopsys.com on Thu Nov 13 11:20:07 2003 In Syntax 10-1 and in A.2.7, REPLACE task_declaration ::= "task" [ "automatic" ] task_identifier ";" { task_item_declaration } statement_or_null "endtask" | "task" [ "automatic" ] task_identifier "(" task_port_list ")" { block_item_declaration } statement_or_null "endtask" WITH task_declaration ::= "task" [ "automatic" ] task_identifier ";" { task_item_declaration } statement_or_null "endtask" | "task" [ "automatic" ] task_identifier "(" [ task_port_list ] ")" { block_item_declaration } statement_or_null "endtask" Fix replaced by etf@boyd.com on Thu Nov 13 11:31:14 2003 In Syntax 10-1 and in A.2.7, REPLACE task_declaration ::= "task" [ "automatic" ] task_identifier ";" { task_item_declaration } statement_or_null "endtask" | "task" [ "automatic" ] task_identifier "(" task_port_list ") ;" { block_item_declaration } statement_or_null "endtask" WITH task_declaration ::= "task" [ "automatic" ] task_identifier ";" { task_item_declaration } statement_or_null "endtask" | "task" [ "automatic" ] task_identifier "(" [ task_port_list ] ") ;" { block_item_declaration } statement_or_null "endtask" |
| Unformatted |
|
Hosted by Boyd Technology