[sv-ec] Mantis 2185: Using pre-randomization values in constraints

[Jonathan Bromley]
> Do you feel it's appropriate to 
> create a new Mantis proposing a system pseudo-function (maybe 
> $read_only(), to mimic the similar thing in 'e') for grabbing 
> the pre-randomization value of an expression for use as state 
> in a constraint?  Or should we put it to one side, because 
> there is too much else to do?  
> It's a feature that I sorely miss in SV constraints in 
> comparison with 'e'...

[Ray Ryan]
> I agree that this is wouid be a useful capability in
> constraint. I further agree that it would be useful
> to be able to reference the pre-randomize for any
> expression (not just simple random variables).

I've created Mantis 2185 to cover this; I believe it's 
a relatively small enhancement that would make it easier
to write certain useful kinds of constraint.  I leave it
to sv-ec to decide whether they want to add it to the
12/15 to-do list.  I'm willing to write a proposal if so.
-- 
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.