RE: [sv-bc] Indexed part-select of one-bit vector (11.5.1)

From: Steven Sharp <sharp_at_.....>
Date: Thu Oct 04 2007 - 13:16:48 PDT
>From: "Brad Pierce" <Brad.Pierce@synopsys.com>
>
>The claim in 11.5.1 that the msb_expr "shall address a more significant
>bit" that the lsb_expr in
>
>   vect[msb_expr:lsb_expr]
>   
>is also incorrect for one-bit vectors. 

It is also incorrect for multi-bit vectors, since you can always use
a part-select that selects one bit.  In the part select vect[0:0],
the msb_expr 0 does not address a more significant bit than the
lsb_expr 0, no matter which direction the vector indexes go.

I suppose that it could be changed to say that the msb_expr shall address
a bit that is not less significant than the lsb_expr.  I don't think that
would help its clarity.

Steven Sharp
sharp@cadence.com


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Thu Oct 4 13:17:03 2007

This archive was generated by hypermail 2.1.8 : Thu Oct 04 2007 - 13:17:24 PDT