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.5), and free checker variables (see 17.6.2). Similarly in other places (with or without the checker variable phrase). -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Thu Jul 31 09:45:22 2008
This archive was generated by hypermail 2.1.8 : Thu Jul 31 2008 - 09:45:25 PDT