I vote yes. checking my notes I find couple of comments: - typo extra "the" on page 2 (c). - page 3 last sentence before 17.13.5. "... a new evaluation attempt of the underlying property_spec begins ..." - page 3 section 17.13.5 added sentence "A concurrent assertion ..." makes it seem that an attempt only starts (at every clock event) when the enabling condition holds, sentence needs rewording (the semantics are ok).Received on Tue May 9 21:21:31 2006
This archive was generated by hypermail 2.1.8 : Tue May 09 2006 - 21:21:33 PDT