[sv-bc] Expression size while processing 'inside' construct

From: Surya Pratik Saha <spsaha@cal.interrasystems.com>
Date: Thu Jul 29 2010 - 04:25:49 PDT
Hi,
We have a query regarding the size and sign handling of subexpression created while processing 'inside' construct.

Lets take a simple example:

bit [5:0] w
bit [3:0] x
bit [7:0] y
bit q;

 q = w inside {x, y};

 'inside' expr is processed as logical equality between w and x, w and y and finally reduction OR of the equality outputs:
  q = |((w == x),  (w == y));

  The question is:
  Are operation (w == x) and (w == y) are self-determined or context-determined?
  If they're self-determined, while doing operation (w == x), x will be expanded to 6 bits.
  If they're context-determined, w and x would be expanded to 8 bit (max size is width of y).

Regards,
Surya


--
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean. Received on Thu Jul 29 04:26:30 2010

This archive was generated by hypermail 2.1.8 : Thu Jul 29 2010 - 04:29:27 PDT