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

Hi,

I still have a problem with the sentence in 6.7, "The default initialization value for a net shall be the value z."
Maybe you should add a qualifier to that sentence, like the proposal does in 7.2.2.

What happens if a net with a user-defined nettype has no resolution function?
What is its initial value?
Say, for example, that the nettype is simple logic.
The difference is between Z, like a regular net, and X, as specified in Table 6-7.
If it is X, then what happens when the driver is not driving?
Is the resulting value Z or X?

What happens if a resolution function does not assign a value to the function in some case?
Does it return the default initial value for a variable of the function data type?

Regards,
Shalom

From: owner-sv-dc@eda.org [mailto:owner-sv-dc@eda.org] On Behalf Of Bresticker, Shalom
Sent: Sunday, August 21, 2011 1:48 PM
To: Francoise Martinolle; sv-dc@eda.org
Subject: [sv-dc] RE: Revised proposal for 3398 and response to Shalom's comments

Hi, so far I think the new version is much tighter than the original.

However, I still have a problem with the following issue.

The text in 6.7 starting, "Certain restrictions apply to the data type of a net. A valid data type for a net shall be one of the following," does not say that it only applies to nets of non user-defined data types.

Regards,
Shalom

From: Francoise Martinolle [mailto:fm@cadence.com]
Sent: Tuesday, August 02, 2011 7:53 PM
To: sv-dc@eda.org
Cc: Bresticker, Shalom
Subject: Revised proposal for 3398 and response to Shalom's comments

The following text in 6.7 needs to change:
"A valid data type for a net shall be one of the following:
a) A 4-state integral type, including a packed array or packed structure.
b) A fixed-size unpacked array or unpacked structure, where each element has a valid data type for a net.
The effect of this recursive definition is that a net is composed entirely of 4-state bits and is treated accordingly. In addition to a signal value, each bit of a net shall have additional strength information.
...
The default initialization value for a net shall be the value z."
.
This only applies to nets of non user-defined nettypes. Next sections 6.7.1 and 6.7.2 will define the legal datatypes for nets of user defined nettype
and their default initialization value. I added text at the end of section 6.7.2 to describe the legal data types for a net with a user-defined nettype.
---------------------------------------------------------------------
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<http://www.mailscanner.info/>, and is
believed to be clean.
---------------------------------------------------------------------
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.