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