RE: [sv-dc] RE: Revised proposal for 3398 and response to Shalom's comments

But the proposal continues,

"Table 6.7 defines the default value for data types of variables if no initializer is provided, those default values shall also apply to nets of user defined nettypes for valid data types of a net."

Strictly speaking, data types do not have default values. Data objects do. For example, a variable of type logic has a default value of 'x, whereas a net of type logic has a default value of type 'z. The type logic does not have a default value in and of itself.

Shalom

What happens if a net with a user-defined nettype has no resolution function?
What is its initial value?

The default value of the underlying data type. We said that:
      The default initialization value for a net with a user-defined nettype
      shall be the default value defined by the data type.

---------------------------------------------------------------------
Intel Israel (74) Limited

This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.