RE: [sv-bc] 'inside' on real operands

From: Jonathan Bromley <jonathan.bromley_at_.....>
Date: Tue Sep 11 2007 - 01:06:41 PDT
> 	realvar inside {[1.0-epsilon, 1.0+epsilon]}

(comma should be colon, I think?)

As I indicated, I think this would be an excellent facility;
my point was that I believe it should be the *only* acceptable
form of right-hand-side for 'inside' with a real LHS.
Helpful tools should at least warn me if I use any other form.

> [...] the right of the 'inside' [...] is just a syntax for
> specifying a lot of operands to be used in a complex multi-way
> compare operation.

OK.  I had not read carefully enough this sentence 
near the end of 11.4.14 :

    When specifying a range, the expressions must be of a 
    singular type for which the relation operators ( <=, >= ) 
    are defined.

and, given that, I guess I retreat with my tail between my legs.
-- 
Jonathan Bromley, Consultant

DOULOS - Developing Design Know-how
VHDL * Verilog * SystemC * e * Perl * Tcl/Tk * Project Services

Doulos Ltd. Church Hatch, 22 Market Place, Ringwood, Hampshire, BH24 1AW, UK
Tel: +44 (0)1425 471223                   Email: jonathan.bromley@doulos.com
Fax: +44 (0)1425 471573                           Web: http://www.doulos.com

The contents of this message may contain personal views which 
are not the views of Doulos Ltd., unless specifically stated.

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Tue Sep 11 01:07:01 2007

This archive was generated by hypermail 2.1.8 : Tue Sep 11 2007 - 01:07:11 PDT