Re: [sv-bc] Type of a concat expression

From: Gordon Vreugdenhil <gordonv@model.com>
Date: Tue Jun 15 2010 - 08:02:38 PDT

100 is an signed integer, not an int. So the result of the
infix operation is 4-state and shouldn't match the 2-state type
int.

Gord.

Brad Pierce wrote:
>> if (type(100 + 2'b11) == type (int)) // Will it match or not?
>
> No, the left type reference is unsigned, and the right one is signed.
>
> But remove signedness from the differences and the question is still
> interesting
>
>> if (type(100 + 2'sb11) == type (int)) // Will it match or not?
>
> -- Brad
>
>

-- 
--------------------------------------------------------------------
Gordon Vreugdenhil                                503-685-0808
Model Technology (Mentor Graphics)                gordonv@model.com
-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Tue Jun 15 08:02:58 2010

This archive was generated by hypermail 2.1.8 : Tue Jun 15 2010 - 08:05:53 PDT