The always_ff construct is exactly what you need here. It enforces that there be only one event control, and it will invariably be used to describe a block of synthesisable clocked logic. You could probably fix the difficulties by having your inferred-value functions be valid only within an always_ff block, with the exception of $inferred_clock which would reference the default clocking everywhere except inside a clocking block or an always_ff. Further, you could probably forbid the use of these functions in any procedural code other than an always_ff; I don't think that would have any notable drawbacks for users. -- 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 Feb 22 08:49:24 2007
This archive was generated by hypermail 2.1.8 : Thu Feb 22 2007 - 08:49:34 PST