tree 5dca1c6b69d8b529870212ded95f1008f969f766
parent c8071317950d60eba1149124daf480f6375f65fb
author Rupert Swarbrick <rswarbrick@lowrisc.org> 1608134998 +0000
committer Rupert Swarbrick <rswarbrick@gmail.com> 1608396249 +0000

[otbn] Run checks a cycle after model has finished

Otherwise, you end up racing with the final cycle in the RTL. This
hasn't been a problem until now (especially because the last
instruction is usually ECALL, which has no other side-effects), but
matters when with the trace comparison code, which needs to check
we've seen every trace entry.

Signed-off-by: Rupert Swarbrick <rswarbrick@lowrisc.org>