Hi Eduard, I have reviewd the new proposal for Mantis 1648, and it looks good. The only change I would make is to change the wording of the comment in one example > // as @(posedge clk) !rst |-> (a |=> b) Change to // Assertion a8 is equivalent to @(posedge clk) !rst |-> (a |=> b) Tom Eduard Cerny wrote On 03/29/07 08:03,: > I removed inference of disable iff condition from always blocks. > ed > -- ------------------ Thomas J. Thatcher Sun Microsystems 408-616-5589 ------------------ -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Fri Mar 30 13:36:40 2007
This archive was generated by hypermail 2.1.8 : Fri Mar 30 2007 - 13:37:05 PDT