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

From: Shalom Bresticker (Shalom.Bresticker@motorola.com)
Date: Tue Sep 30 2003 - 01:10:01 PDT

  • Next message: Shalom.Bresticker@motorola.com: "Re: errata/276: PROPOSAL - BNF A.6.4 doesn't allow fork/join in functions"

    Precedence: bulk

    The following reply was made to PR errata/276; it has been noted by GNATS.

    From: Shalom Bresticker <Shalom.Bresticker@motorola.com>
    To: Brad.Pierce@synopsys.com
    Cc: etf-bugs@boyd.com
    Subject: Re: errata/276: PROPOSAL - BNF A.6.4 doesn't allow fork/join in
     functions
    Date: Tue, 30 Sep 2003 11:49:55 +0300

    > [Note that intra-assignment delays and event controls
    > are not possible without @ and #, and these are already
    > disallowed by rule 10.3.4(a).]
     
     Strictly speaking, 10.3.4(a) disallows "any statements introduced with #, @, or
     wait".
     It would not be unreasonable to claim that an intra-assignment delay or event
     control
     does not INTRODUCE a statement, rather they are in the middle of a statement.
     
     Also, "disable" statements are not allowed in functions, though it is not clear
     to me why.
     
    > http://boydtechinc.com/cgi-bin/issueproposal.pl?cmd=view&pr=276
     
     --
     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
     
     
     

    This archive was generated by hypermail 2.1.4 : Tue Sep 30 2003 - 01:13:35 PDT and
    sponsored by Boyd Technology, Inc.