I'm sorry that I've not been able to engage in the telephone meetings, so I'm coming to this a little late, but I hope that people can agree on a good middle path between flexibility and tight definition... First, it's worth noting that much of the need for access to out-of- scope names is related to checking in assertions and the like. Such checks are invariably passive. I wonder if Alex's concerns could be eased if arbitrary out-of-scope references were to be allowed for read-only access? That would nicely answer the needs of assertions. It could be further strengthened by permitting such access only by postponed processes, although that would affect the behaviour of assertions in a way that users might find objectionable even though in some ways it makes the behaviour easier to understand. The next step in this line of argument is to find a way whereby out-of-scope objects can be written. Personally I feel very strongly that this should never be permitted except through a procedural interface - something along the lines of tasks and entry points in Ada. If done correctly this can make it very easy indeed to deal with simple cases - a call to the out-of-scope subprogram will never block if no other process is competing for the resources it uses - whilst providing the interlock machinery that's needed to handle more difficult cases when necessary. I know this comment is too little, too late - but thanks for listening anyhow... -- 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 This e-mail and any attachments are confidential and Doulos Ltd. reserves all rights of privilege in respect thereof. It is intended for the use of the addressee only. If you are not the intended recipient please delete it from your system, any use, disclosure, or copying of this document is unauthorised. The contents of this message may contain personal views which are not the views of Doulos Ltd., unless specifically stated.Received on Fri Aug 5 04:32:59 2005
This archive was generated by hypermail 2.1.8 : Fri Aug 05 2005 - 04:33:20 PDT