tree 9c20a0dad9cdd463ea4023f3a4c57c056dd4ce49
parent 5c8579cd2fe96d0d10926e408d371682e6854271
author Rupert Swarbrick <rswarbrick@lowrisc.org> 1628174319 +0100
committer Rupert Swarbrick <rswarbrick@gmail.com> 1628238206 +0100

[otbn,dv] Fix calculation of loop end address in coverage

There was an off-by-one error because of the "+1" in the encoding of
bodysize. And also a factor of 4 because I'd forgotten to convert from
"number of instructions" to "bytes". Oops...

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