Hello Everyone, I have uploaded a proposal for Mantis 2656 (Ballot Comment #84). This change, although simple, might generate some controversy! The original comment suggested that the simple example, which illustrates a reference to a global clocking event be replaced by one which better illustrates the differences between formal verification and simulation. However, this paragraph is just an overview paragraph, and I did not think this was the place to go into details. So I made a few changes to the paragraph which downplay the differences between formal verification and simulation and highlight their common behavior. Comments welcome! Tom -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Wed Apr 22 11:18:52 2009
This archive was generated by hypermail 2.1.8 : Wed Apr 22 2009 - 11:20:40 PDT