Re: idt assert

From: Paul Floyd <Paul_Floyd_at_.....>
Date: Thu May 22 2008 - 02:18:31 PDT
Geoffrey.Coram wrote:

> Table 4-21 in LRM 2.2 says "assert is an integer-valued expression."
> This language was dropped in some draft of LRM 2.3 (it's not in draft 3).
>
> Regarding cross(), enable was not in LRM 2.2; draft 3 says
> "Analog filter functions cannot be used for dir or enable argument
> and they should evaluate to integers."  I'm not sure what
> "evaluate to" is supposed to mean, or if it should say
> "will be coerced to".


Hi

My feeling is that the intention is that if the assert analog expression 
is real valued, first it will be rounded to an integer, and then it will 
be tested to see if it is 0 or not. The same applies to cross enable.

Regards
Paul Floyd
-- 
Dr Paul Floyd
Mentor Graphics Corporation


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Thu May 22 02:19:10 2008

This archive was generated by hypermail 2.1.8 : Thu May 22 2008 - 02:19:24 PDT