Dmitry, thanks for your reply. > Past sampled value functions are not affected by disable iff. This > should follow from the formal semantics description in Annex F. Yes, of course you are correct. I should have looked at that more carefully before asking, sorry. > it would be good to have a more explicit description in the LRM > body, and an example illustrating it. > Would you like to create a Mantis item? I've raised Mantis 2367 to request this documentation enhancement, and I'll try to offer some suggested LRM text in the next day or two. Thanks -- 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 Wed Apr 23 13:26:25 2008
This archive was generated by hypermail 2.1.8 : Wed Apr 23 2008 - 13:27:25 PDT