Surya,
We have pointed out to you the rules that give the width, signedness and
4-stateness of the expression, and places that imply the range. That is
all the type information necessary to determine the behavior of the type
operator used on the expression. In the example you have given, that
type information does not match what it is being compared to, so the
compare is false. A tool that evaluates it as true is noncompliant.
Steven Sharp | Architect | Cadence
P: 508.459.1436 M: 774.535.4149 www.cadence.com
-- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Sat Jun 19 00:30:14 2010
This archive was generated by hypermail 2.1.8 : Sat Jun 19 2010 - 00:33:27 PDT