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

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

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.
Received on Thu Nov 11 08:17:44 2004

This archive was generated by hypermail 2.1.8 : Thu Nov 11 2004 - 08:17:52 PST