Dmitry, Mantis 2206 raises the fascinating possibility that assume directives could be used as constraints on randomly-generated sequences of activity. The idea that assume directives can be used to constrain randomly generated stimulus is already mentioned briefly in the LRM; it seems that the randomization of freevars is related to this. Are you aware of *any* tool that can do such a thing? To me, it sounds difficult :-) IEEE standards committees are not supposed to invent new technology, so I suggest that this should be skipped unless there is some prior-art imlementation that could be used as a guide. -- 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 Thu Nov 15 02:59:57 2007
This archive was generated by hypermail 2.1.8 : Thu Nov 15 2007 - 03:00:04 PST