[sv-ec] possible errata in 17.7.11


Subject: [sv-ec] possible errata in 17.7.11
From: Michael Burns (Michael.Burns@motorola.com)
Date: Mon Feb 09 2004 - 09:44:00 PST


Hi folks,

I've been reviewing the sv-ac work and I have a question about Section
17.7.11, Implication. In draft 4 p.227 right below figure 17-15, it
says,

  "...At clock tick 8, the sequences complete according to the
  specification, resulting in a match for attempts starting at 5 and
  6. All later attempts to match the sequence fail because
  $rose(frame) does not occur again. That also means that there is no
  match at 5, 6, and 7."

Is there a match at 5 & 6 or not? Should the final sentence say
something else, such as "... 7, 8, and 9."?

Mike Burns



This archive was generated by hypermail 2b28 : Mon Feb 09 2004 - 09:52:41 PST