Re: [sv-bc] Array query return type errata

Subject: Re: [sv-bc] Array query return type errata
From: Dave Rich (David.Rich@synopsys.com)
Date: Wed Feb 18 2004 - 12:41:35 PST

Most implementations allow you to access and set individual bits of integer. However, I agree with you that the whole value should be X, which is different than 1'bx

Let me restate the proposal

In section 23.7

The return type is integer and the default for the optional dimension expression is 1.

If an out-of-range dimension is specified, these functions shall return a logic X'x.

If the dimension is currently empty, these functions shall return a logic X'x.

Stuart Sutherland wrote:
Dave,
 
If the return type is the integer data type, which is at least 32 bits wide, shouldn't an error return an integer with all bits set to X, instead of just 1 bit set to X?  If the return is a 1'bx, which bit of the integer is set to X?
 
Stu
~~~~~~~~~~~~~~~~~~~~~~~~~
Stuart Sutherland
stuart@sutherland-hdl.com
503-692-0898
 

From: owner-sv-bc@server.eda.org [mailto:owner-sv-bc@server.eda.org] On Behalf Of Dave Rich
Sent: Wednesday, February 18, 2004 12:43 AM
To: Sv-Bc
Subject: [sv-bc] Array query return type errata

Section 23.7 does not specify the return type the system functions. It can only be "integer" in order to return an integer value or X. Also returning X should actually be 1'bx to be consistent with other system functions that return 1'bx.

In section 23.7

The return type is integer and the default for the optional dimension expression is 1.

If an out-of-range dimension is specified, these functions shall return a logic X1'bx.

If the dimension is currently empty, these functions shall return a logic X1'bx.


















This archive was generated by hypermail 2b28 
: Wed Feb 18 2004 - 12:48:46 PST