errata/557: Re: errata/557: Re: errata/557: 9.3.2, para. 2: net "continuous assignment"

From: Shalom.Bresticker@motorola.com
Date: Fri Mar 12 2004 - 03:30:00 PST

  • Next message: Karen Pieper: "[Fwd: Generate proposal]"

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

    From: Shalom.Bresticker@motorola.com
    To: etf-bugs@boyd.com
    Cc:
    Subject: Re: errata/557: Re: errata/557: 9.3.2, para. 2: net "continuous
     assignment"
    Date: Fri, 12 Mar 2004 13:41:22 +0200 (IST)

     The problem is this:
     
     This paragraph is talking about a force on a VARIABLE, whereas the next
     paragraph talks about a force on a NET.
     
     The simple meaning of the quoted phrase in parentheses is to contrast a
     release on a variable to a release on a net. It says that when a variable
     is release, it shall not immediately change value (in contrast to a net).
     
     However, if it were a net, then a release on the net by definition ends
     the force on the net!! On the other hand, what it IS logical to note is that
     most nets are constantly being driven (by a continuous assignment or a port
     connection, which is also a continuous assignent). When a NET is released,
     in contrast to a variable, then the continuous assignment is immediately
     re-enabled.
     
     The paragraph later on and repeats two paragraphs afterward the exception on
     variables that if an assign is active on the variable, then it will be
     immediately re-established upon release of the force of the variable.
     
     Shalom
     
     
    > >After the release procedural statement is executed, the variable shall not
    > >immediately change value (as would a net that is assigned with a procedural
    > >continuous assignment)".
    > >
    > >The last sentence quoted talks about
    > >"a net that is assigned with a procedural continuous assignment".
    > >
    > >There is no such thing, assuming that the meaning is a procedural assign
    > >statement.
    >
    > There _is_ such a thing, assuming that the meaning is a procedural force
    > statement. Note that the sentence is talking about a release, which means
    > it is ending a force. A deassign is used to end an assign. And when a
    > force is released on a net, the net immediately changes value to what is
    > being driven. So I don't see any problem here.
     
     --
     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
     
     [x]Motorola General Business Information
     [ ]Motorola Internal Use Only
     [ ]Motorola Confidential Proprietary
     

    This archive was generated by hypermail 2.1.4 : Fri Mar 12 2004 - 03:30:02 PST and
    sponsored by Boyd Technology, Inc.