RE: [sv-ec] inline constraints -- things are not really quite right yet (perhaps)

From: Ryan, Ray <Ray_Ryan_at_.....>
Date: Mon Nov 12 2007 - 09:02:12 PST
Johathan,

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).

- Ray 

> -----Original Message-----
> From: Jonathan Bromley [mailto:jonathan.bromley@doulos.com] 
> Sent: Monday, November 12, 2007 8:39 AM
> To: Ryan, Ray; sv-ec@server.eda.org
> Subject: RE: [sv-ec] inline constraints -- things are not 
> really quite right yet (perhaps)
> 
> Ray,
> 
> [Jonathan]
> > > As a convenience feature, I would also suggest that
> > > *anything* with a local:: qualifier should be treated as a state 
> > > variable for the constraint, so that (as I suggested in 
> an earlier 
> > > post)
> > > 
> > >   c.randomize() with {x != local::c.x;};
> > > 
> > > would unambiguously mean "randomize c.x so that it gets a value 
> > > different from its present value".
> 
> [Ray]
> > This would be a nice convenience. However, it would be 
> better if this 
> > feature was also available in a regular constraint (inside 
> the class) 
> > rather than just in inline-constraints.
> 
> On reflection I completely agree that it would be a mistake 
> to confuse the name-resolution meaning of "local::" with this 
> treat-as-state behaviour.  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'...
> --
> 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 Mon Nov 12 09:22:05 2007

This archive was generated by hypermail 2.1.8 : Mon Nov 12 2007 - 09:22:31 PST