tree 1e37060b454c97723801acc4fedde73e7803262b
parent ec839fad82a760f60f95ceabf58be9af55d01d8d
author Rupert Swarbrick <rswarbrick@lowrisc.org> 1609866384 +0000
committer Rupert Swarbrick <rswarbrick@gmail.com> 1609933553 +0000

[otbn] Wrap bn.movr increments modulo 32

This is what the RTL did already. Make the spec match the equivalent
documentation for bn.lid and update the ISS to match.

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