> I know you have already received several responses that have > explained that "b ##0 P" is not legal for a general property > expression Thanks to everyone for kindly putting me straight. It *was* a stupid question, but I think I've seen why I was confused - and it's something that might be worth bearing in mind when explaining this stuff to others. In PSL, I believe, the cover directive works not on properties but only on sequences. Hence, when I wrote "condition ##0 P", I was assuming P to be a sequence. Once again, thanks for the courteous and prompt replies. -- 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. -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Thu Mar 22 11:26:43 2007
This archive was generated by hypermail 2.1.8 : Thu Mar 22 2007 - 11:26:54 PDT