in 16.2, there is missing the following text from Mantis 1806: - cover, to monitor the property evaluation for coverage. - restrict, to specify the property as a constraint on formal verification computations. Simulators do not check the property. and then - Immediate assertions follow simulation event semantics for their execution and are executed like a statement in a procedural block. Immediate assertions are primarily intended to be used with simulation. There is no immediate restrict assertion statement. -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Mon Jun 30 16:19:41 2008
This archive was generated by hypermail 2.1.8 : Mon Jun 30 2008 - 16:20:24 PDT