Hi Jonathan, This is indeed difficult and therefore I believe it should be considered separately from the checker proposal. This is a reason I opened a separate Mantis item. My primary intention was to document this request, since there are people that would like to have this capability. As for the actual solution, it depends on the committee and on the people who want to champion this issue. I personally do not have a solution for it that I could suggest right now. Thanks, Dmitry -----Original Message----- From: Jonathan Bromley [mailto:jonathan.bromley@doulos.com] Sent: Thursday, November 15, 2007 1:00 PM To: Korchemny, Dmitry; sv-ac@server.eda-stds.org Subject: Mantis 2206 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. --------------------------------------------------------------------- Intel Israel (74) Limited This e-mail and any attachments may contain confidential material for the sole use of the intended recipient(s). Any review or distribution by others is strictly prohibited. If you are not the intended recipient, please contact the sender and delete all copies. -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Thu Nov 15 03:12:30 2007
This archive was generated by hypermail 2.1.8 : Thu Nov 15 2007 - 03:12:37 PST