BTF - BE39 - Task I/O Syntax

From: Anders Nordstrom (andersn@bcarsb82)
Date: Tue Sep 02 1997 - 08:16:25 PDT


Subject: BTF - BE39 - Task I/O Syntax

Behavioral Task Force - Errata Submission

Assigned Enhancement Request Number: BE39
Errata Name (Description): Task I/O Syntax
Section: 10.2.1
Date Submitted: 970103
Requestor: Mitchell Perilstein

Status: Submitted (priority not yet assigned)

Errors found in the Verilog LRM (IEEE 1364-1995).

Details:

Hi all,

LRM Sec 10.2.1 needs a little more detail regarding how a task
declaration's input/output declarations interact with its
block_item_declarations in the task scope.

In particular, Sec 10.2.1 says the i/o decls have the same syntax
as module decls in Sec 12; however, Sec 12 also specifies that if
there is an explict declaration of a port, it must match the i/o
decl. This would not appear to be so with tasks both in the LRM
and in the state of the art. (Maybe function declarations need
looking at, also?)

  task Foo;
   output [64:0] x;
   reg [31:0] x;
    //
    // what is x?
    //
  endtask

XL accepts this sort of thing and I believe the model ends up
behaving as if it had a 32-bit output in this example.

-- Mitchell Perilstein
-- <mperilstein@miworld.net>

+-----------------------------------------------------------------------+
| Anders Nordstrom |
| Senior ASIC Designer |
| |
| Northern Telecom Ltd. Email: andersn@nortel.ca |
| P.O. Box 3511 Station C Phone: 613-763-9186 |
| Ottawa, Ontario K1Y 4H7 Fax: 613-763-2626 |
+-----------------------------------------------------------------------+



This archive was generated by hypermail 2.1.4 : Mon Jul 08 2002 - 12:54:41 PDT and
sponsored by Boyd Technology, Inc.