[sv-bc] Type of a concat expression

From: Surya Pratik Saha <spsaha@cal.interrasystems.com>
Date: Mon Jun 14 2010 - 05:04:17 PDT
Hi,
What should be the return value of a "type ({b1, b2})"? LRM section 6.23 (Type operator) mentions following text:
The type operator applied to an expression shall represent the self-determined result type of that expression.

But I could not find anywhere self-determined result type defined of an expression.
One of the standard simulators which supports type operator works in its own way.

Here is a sample example:
module top(input bit in1, input bit[31:0] in2, output
        bit [7:0] out1);
        bit [3:0] f0, f1;      
        bit [3:0] l1;
        initial
        begin : blk
                if(type ({f0, f1}) == type (byte))
                        out1 = 1;
                else out1 = 3;
        end
endmodule

-- 
Regards
Surya

--
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean. Received on Mon Jun 14 05:05:45 2010

This archive was generated by hypermail 2.1.8 : Mon Jun 14 2010 - 05:08:02 PDT