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

I disagree.

Table 6-7 appears in subclause 6.8: "Variable declarations" and the text says, "Table 6-7 contains the default values for variables if no initializer is specified."

Shalom

From: Francoise Martinolle [mailto:fm@cadence.com]
Sent: Tuesday, August 23, 2011 5:30 PM
To: Bresticker, Shalom; Gordon Vreugdenhil
Cc: sv-dc@eda.org
Subject: RE: [sv-dc] RE: Revised proposal for 3398 and response to Shalom's comments

Strictly speaking, data types define a default value for an object of that data type.
The logic datatype define the default value as being x. There is a different mantis item which
talks about the default value of a wire or a trireg not being x.

________________________________
From: Bresticker, Shalom [mailto:shalom.bresticker@intel.com]
Sent: Tuesday, August 23, 2011 10:20 AM
To: Gordon Vreugdenhil
Cc: Francoise Martinolle; sv-dc@eda.org
Subject: 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.
---------------------------------------------------------------------
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.