Bassam Tabbara wrote: >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 ..." > I fixed the first two items, I will upload it later today. > >- 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). > > > > I don't think that there should be an attempt if the condition does not hold, I know that it does not fit the implication attempt semantics, but we will have to change that for coverage anyway. DoronReceived on Wed May 10 08:33:58 2006
This archive was generated by hypermail 2.1.8 : Wed May 10 2006 - 08:34:14 PDT