Hello, I did not find any issues in 16 - 16.8, but I have the following questions / comments. Best regards, ed ------------------ Section 16.2: The statement "Immediate assertions are primarily intended to be used with simulation." does not quite apply to deferred assertions, they can be used very well in formal. 16.5: It states at the beginning:" All variables in a concurrent assertion use the value sampled in the Preponed region of a time slot with the exception of local variables, constant casts and automatic variables in procedural code (see 16.15.6), and free checker variables (see 17.7.2)." Similarly below Figure 16-1. I think that all checker variables are not sampled, not just free checker variables. 16.8.2: Is it necessary to have this restriction, marked in red? It shall be an error to apply any of the sequence methods triggered (see 16.9.11, 16.14.6) or matched (see 16.14.5) to an instance of a named sequence with an input or inout local variable formal argument. -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Wed Jul 8 11:49:33 2009
This archive was generated by hypermail 2.1.8 : Wed Jul 08 2009 - 11:50:21 PDT