In Clause 29.2 of the SV ballot draft, $assertoff, $assertkill and $asserton show the first argument as being "levels". The meaning of this argument is not defined in the LRM. In SV 3.1a, the meaning of this argument was defined in section 11.8 Does the AC committee have an open action item on this? Stu ~~~~~~~~~~~~~~~~~~~~~~~~~ Stuart Sutherland stuart@sutherland-hdl.com +1-503-692-0898Received on Mon Apr 11 11:55:52 2005
This archive was generated by hypermail 2.1.8 : Mon Apr 11 2005 - 11:56:47 PDT