errata/276: PROPOSAL - BNF A.6.4 doesn't allow fork/join in functions

From: Brad.Pierce@synopsys.com
Date: Mon Sep 29 2003 - 21:20:53 PDT

  • Next message: Brad.Pierce@synopsys.com: "errata/73: PROPOSAL - 4.1.14 implies replication legal lvalue"

    Precedence: bulk

    In A.6.4,

      REPLACE function_statement
      WITH

         function_statement ::= statement

      plus a footnote that

         "Function statements are limited by the rules of 10.3.4."

    In A.6.2, REMOVE function_blocking_assignment.
    In A.6.3 and Syntax 9-13, REMOVE function_seq_block.
    In A.6.4, REMOVE function_statement_or_null.
    In A.6.6 and Syntax 9-4, REMOVE function_conditional_statement.
    In A.6.6 and Syntax 9-5, REMOVE function_if_else_if_statement.
    In A.6.7 and Syntax 9-6, REMOVE function_case_statement.
    In A.6.7 and Syntax 9-6, REMOVE function_case_item.
    In A.6.8 and Syntax 9-7, REMOVE function_loop_statement.

    In 10.3.4, REPLACE --

         "f) A function shall not have any nonblocking assignments"

       WITH

         "f) A function shall not have any nonblocking or
             procedural continuous assignments."

    and ADD the following rule --

         "g) A function shall not have any event triggers."
      

    [Note that intra-assignment delays and event controls
    are not possible without @ and #, and these are already
    disallowed by rule 10.3.4(a).]

    http://boydtechinc.com/cgi-bin/issueproposal.pl?cmd=view&pr=276

    This archive was generated by hypermail 2.1.4 : Mon Sep 29 2003 - 21:24:29 PDT and
    sponsored by Boyd Technology, Inc.