Re: BTF proposal to p1800

From: Kurt Baty (kurt@wsfdb.com)
Date: Fri Jul 30 2004 - 20:22:41 PDT

  • Next message: Steven Sharp: "Re: BTF proposal to p1800"

    I vote to approve.

            kurt

    On Fri, 2004-07-30 at 09:55, Kathy McKinley wrote:
    > There were no suggestions for change to the draft BTF proposal
    > to the p1800 group. So that first version is the one that we are
    > balloting. I have appended it below.
    >
    > Kathy
    >
    > -----------------------------------------------------------------------------
    >
    > The IEEE 1364 Behavioral Task Force (BTF) is writing to request that
    > the new IEEE organization make a provision for continuing our work
    > on Verilog/SystemVerilog datatypes.
    >
    > The datatypes subgroup of the IEEE 1364 BTF was formed in anticipation
    > of the donation of the Accellera 3.1a specification to the IEEE to
    > ensure that the proposed extensions to Verilog datatypes in 3.1a are
    > incorporated into the Verilog base language in a consistent and useful
    > way. The charter of this group includes the definition of objects that
    > have storage, values, and operations on those values.
    >
    > The focus of the BTF has been on extending the data type extensions
    > defined in 3.1a to nets and resolving inconsistencies between the two
    > specifications that would inhibit integration. Since this work covers
    > both IEEE 1364-2001 and 3.1a it cannot be logically segregated to one or
    > the other.
    >
    > The extension of new datatypes to nets is a product of the orthogonality
    > principle that was unanimously endorsed by the BTF. Datatype orthogonality
    > means that the update semantics of an object and the set of values that
    > the object can have are independent of one another. Under the principle
    > of datatype orthogonality, a value set for an object can be specified
    > (the set of real numbers, a set of structure values, etc.) separately
    > from the update semantics of the object (variable, net, etc.). This
    > principle is a key element of language design that strengthens its
    > usability.
    >
    > It is important to provide a forum in which to continue this work within
    > the working group to ensure that a consistent, standard solution is
    > developed and adopted by the WG to avoid the risk that variant
    > implementations will arise. Having this work done under the auspices
    > and direction of the P1800 WG will allow that group to guide and
    > determine the organization and schedule of this work so as not to impede
    > progress in other areas.

    This archive was generated by hypermail 2.1.4 : Fri Jul 30 2004 - 20:11:57 PDT and
    sponsored by Boyd Technology, Inc.