RE: [sv-bc] DataTypes: The wone net type

From: Kathy McKinley (mckinley@cadence.com)
Date: Fri Oct 29 2004 - 12:18:33 PDT

  • Next message: Kathy McKinley: "[sv-bc] DataTypes: Datatypes meeting on Thursday"

    Hello Mark,

    The 'wone' proposal was made to the BTF. It has no relationship
    to datatypes whatsoever.

    The datatypes subgroup decided to defer consideration of two-state
    nets for now, in favor of defining new four-state types on nets
    by the deadline. It is unlikely that we can get an agreement on
    two-state nets in the required timeframe, so they will probably
    have to wait for the next revision of the standard.

    The datatypes subgroup is working on a formal specification, which we
    plan to deliver to the BC by Nov. 11. If you are interested, I encourage
    you to join our next datatypes subgroup meeting on Nov. 4 at 8:30 am
    Pacific time. It is very difficult for the minutes to do justice to all
    of the topics that we discussed in our lengthy meeting.

    Kathy

    >From: "Mark Hartoog" <Mark.Hartoog@synopsys.com>
    >To: <btf-dtype@boyd.com>, <sv-bc@eda.org>
    >Subject: RE: [sv-bc] DataTypes: The wone net type
    >Date: Fri, 29 Oct 2004 11:51:25 -0700
    >
    >I am somewhat confused by all this discussion. Is there some written material somewhere that
    >describes what is being proposed?
    >
    >Single driver wires:
    >
    >What is the difference between a single driver wire and the logic data type?
    >
    >Does port coercion apply to single driver wires?
    >
    >Can a single driver wire ever be connected to multi-driver wire through
    >a port? Does this imply that the combined wire can still have only a single
    >drive or is this just illegal.
    >
    >Can you have single driver wire inout ports?
    >
    >
    >2 state wires:
    >
    >What are the semantics of 2 state wires? Is there something written up some place?
    >
    >
    >Data types on wires:
    >
    >I presume we are talking about struct, union and enum data types on wires. Is there
    >a write up on this someplace? What syntax are people thinking about?
    >
    >The enum data type variables are currently initialized to the first label. Are enum wires suppose to
    >initialize to the first label? What value should a undriven enum wire go to?
    >
    >Mark Hartoog
    >700 E. Middlefield Road
    >Mountain View, CA 94043
    >650 584-5404
    >markh@synopsys.com

    This archive was generated by hypermail 2.1.4 : Fri Oct 29 2004 - 12:07:40 PDT and
    sponsored by Boyd Technology, Inc.