tree 54b80668fde85e228efb0685a500e0202b12e7bf
parent e99d63ddc10f6a42c64612b47eac63e3246e61d1
author Philipp Wagner <phw@lowrisc.org> 1623774984 +0100
committer Philipp Wagner <mail@philipp-wagner.com> 1623843567 +0100

[otbn] Add known asserts to all outputs

The EDN outputs got added without "value known" asserts. Add them.

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