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

From: Gordon Vreugdenhil <gordonv@model.com>
Date: Tue Aug 23 2011 - 07:34:00 PDT

On 8/23/2011 7:19 AM, Bresticker, Shalom wrote:
>
> 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.
>

Table 6.7 is a mapping from "type" to "initial value". I fail
to understand why we cannot appeal to it. We say that
it applies to the net and we are using almost identical
terminology to the variable section. So what are you
specifically suggesting as wording that you think is
more precise?

Gord.

-- 
--------------------------------------------------------------------
Gordon Vreugdenhil                                503-685-0808
Model Technology (Mentor Graphics)                gordonv@model.com
-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Tue Aug 23 07:34:38 2011

This archive was generated by hypermail 2.1.8 : Tue Aug 23 2011 - 07:34:38 PDT