Subject: Re: Proposal for array types
From: Peter Flake (flake@co-design.com)
Date: Fri Apr 05 2002 - 10:05:21 PST
Paul,
Thanks for your reply. I misunderstood one of your points.
At 09:46 AM 4/5/02 -0800, Paul Graham wrote:
>Peter,
>
>Thanks for your comments. Here are my comments on your comments:
>
> > The array viewed as a single integer is signed, like Verilog 2001.
> > Note that Verilog 2001 defines part selects as unsigned.
>
>I wondered what the meaning of this would be:
>
> reg signed [3:0][3:0] x;
>
>You're suggesting that x[1] is an unsigned quantity. On the other hand, with:
No, this is not syntactically a part select. I think it should be signed.
> reg signed [3:0] x[3:0]
>
>then x[1] is a signed quantity. Isn't that a bit confusing?
This removes the confusion.
> > For any scalar (non-array) type, such as int a; the number of dimensions
> > should be 0. The type can be found using $type(a).
>
>What is $type? I didn't find it in draft 5.
You are correct. $type is a means of testing what type a parameter is, for
example.
if ($type(p1) == int) ....
However it is probably better to defer its discussion to 3.1
Peter.
This archive was generated by hypermail 2b28 : Fri Apr 05 2002 - 10:17:41 PST