tree 12e8b0aee8da9947d1970e4abd5ea839cbcf698b
parent cc906c0a8e91e9566794561fc5573cd709e3fe0c
author Philipp Wagner <phw@lowrisc.org> 1626790520 +0100
committer Philipp Wagner <mail@philipp-wagner.com> 1626797793 +0100

[otbn] Make WSR numbers match the implementation

In 19afa99bead8fa0c44c1e9e6067deb6ed233f7cc we swapped the ACC and URND
WSRs, but ultimately the documentation wasn't updated to reflect that.
(I'm sure I had those changes at some point, seems like they got lost
during a rebase.)

Signed-off-by: Philipp Wagner <phw@lowrisc.org>