[sv-bc] DataTypes: Proposed edits to glossary, etc.

From: Kathy McKinley (mckinley@cadence.com)
Date: Thu Nov 11 2004 - 08:17:36 PST

  • Next message: Kathy McKinley: "[sv-bc] DataTypes: Datatypes meeting in 10 minutes"

    These are some proposed changes from section 24 through all the ANNEXES
    except the BNF.
     
    -----------------------------------------------------------------------------
    SECTION 24

    table 24.1

    THIS TABLE HAS ISSUES. ONE POSSIBLE WAY TO HANDLE IT WOULD BE:

    CHANGE:
     "logic reg"
     
    TO:
    "logic reg/wire"
     
     
    CHANGE:

    Packed arrays and structures are dumped as a single vector of reg.

    TO:

    Packed arrays and structures are dumped as a single vector of logic.
                                                                  ^^^^^
     
    CHANGE:

    Note that the current VCD format does not indicate whether a variable has
    been declared as signed or unsigned.

    TO:
      
    Note that the current VCD format does not indicate whether a data object
                                                                 ^^^^^^^^^^^
    has been declared as signed or unsigned.

     

    -----------------------------------------------------------------------------
    SECTION E.9.2 Source-level compatibility include file svdpi_src.h

    CHANGE:

    Only two symbols are defined: the macros that allow declaring variables to
    represent the SystemVerilog packed arrays of type bit or logic.

    TO:

    Only two symbols are defined: the macros that allow declaring C variables to
                                                                  ^
    represent SystemVerilog data objects that are packed arrays of bit or logic.
                            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

    -----------------------------------------------------------------------------
    ANNEX F: section F.2

    CHANGE:

    /* macros for declaring variables to represent the SystemVerilog */
    /* packed arrays of type bit or logic */
    /* WIDTH= number of bits,NAME = name of a declared field/variable */

    TO:
    /* macros for declaring C variables to represent SystemVerilog data objects */
    /* that are packed arrays of bit or logic */
    /* WIDTH= number of bits,NAME = name of a declared field/data object */

     

     

    -----------------------------------------------------------------------------
    IN ANNEX I:

    CHANGE:

    #define cbTypeChange 605 /* callback on variable type/size change */

    TO:

    #define cbTypeChange 605 /* callback on object data type/size change */
                                                   ^^^^

    -----------------------------------------------------------------------------
    ANNEX J: Glossary

    ADD:

    Data object - A data object is a named construct that has a data value
    associated with it, such as a parameter or a variable or a net.
    A data object has a data type that determines which values the
    data object can have.

    ADD:

    Data type - A data type is a set of values and a set of operations that
    can be performed on those values. Data types can be used to declare
    data objects, or to define user-defined data types that are constructed
    from other data types.

    CHANGE:

    Aggregate - An aggregate expression, variable or type represents a set or
    collection of singular values. An aggregate type is any unpacked structure,
    unpacked union, or unpacked array data type.

     

    TO:
    Aggregate - An aggregate expression, data object or data type represents
    a set or collection of singular values. An aggregate data type is any
    unpacked structure, unpacked union, or unpacked array data type.

     

    CHANGE:

    Bit-stream - A bit-stream type or variables is any type that can be
    represented as a serial stream of bits. To qualify as a bit-stream type,
    each and every bit of the type must be individually addressable.
    This means that a bit-stream type can be any type that does not include
    a handle, chandle, real, shortreal, or event.

    TO:

    Bit-stream - A bit-stream data type is any data type whose values
    can be represented as a serial stream of bits. To qualify as a bit-stream
    data type, each and every bit of the values must be individually
    addressable. This means that a bit-stream data type can be any data type
    except for a handle, chandle, real, shortreal, or event.
     

    CHANGE:

    Dynamic - A dynamic type or variable is one that can be resized or
    re-allocated at runtime. Dynamic types include those that contain
    dynamic arrays, associative arrays, queues, or class handles.

    TO:

    Dynamic - A dynamic data type or variable has values that can be resized
    or re-allocated at runtime. Dynamic arrays, associative arrays, queues,
    class handles and data types that include such data types are
    dynamic data types.

    CHANGE:

    Enumerated type - Enumerated data types provide the capability to declare a
    variable which can have one of a set of named values. The numerical
    equivalents of these values can be specified. Enumerated types can be
    easily referenced or displayed using the enumerated names, as opposed to the
    enumerated values. Section 3.10 discusses enumerated types.

    TO:

    Enumerated type - Enumerated data types provide the capability to declare a
    data object that can have one of a set of named values. The numerical
    equivalents of these values can be specified. Values of an enumerated
    data type can be easily referenced or displayed using the enumerated names,
    as opposed to the enumerated values. Section 3.10 discusses enumerated types.

     
    CHANGE:

    Integral - An integral expression, variable or type is used to represent
    integral, or integer value They may also be called vectored values.
    .Integrals may be signed or unsigned, sliced into smaller integral values,
    or concatenated into larger values.

    TO:

    Integral - An integral data type represents integral, or integer, values.
    Integral values may also be called vectored values. Integral values may be
    signed or unsigned, sliced into smaller integral values, or concatenated
    into larger values. An integral expression is an expression of an integral
    data type. An integral data object is an object of an integral data type.

    CHANGE;

    Singular - A singular expression, variable or type represents a single
    value, symbol, or handle. A singular type is any type except an unpacked
    structure, unpacked union, or unpacked array data type.

    TO:

    Singular - A singular expression, data object or data type represents a single
    value, symbol, or handle. A singular data type is any data type except
    an unpacked structure, unpacked union, or unpacked array data type.

    This archive was generated by hypermail 2.1.4 : Thu Nov 11 2004 - 08:05:47 PST and
    sponsored by Boyd Technology, Inc.