tree a20c191f15cd58ba6a5ddffbd6fc808dca825912
parent 51d9ddd8188fa4ce8d66543d28ca5dda1b7dde56
author Rupert Swarbrick <rswarbrick@lowrisc.org> 1648729899 +0100
committer Rupert Swarbrick <rswarbrick@gmail.com> 1648823141 +0100

[otbn,rtl] Add a couple of consistency assertions about error bits

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