tree d1709c75e0953b000240f4c7f86b5f5d42d5be7e
parent 514f199692cad015dd32e3d313c228324380b8b0
author Andreas Kurth <adk@lowrisc.org> 1661266541 +0000
committer Canberk Topal <87007427+ctopal@users.noreply.github.com> 1661417548 +0100

[otbn,dv] Unset `recov_alert_seen` on reset

Prior to this commit, the OTBN scoreboard would not reset the flag that
tracks if a recoverable alert has been seen (`recov_alert_seen`) on a
reset.  This caused errors (such as "Double recoverable alert seen") in
tests that reset before the recoverable alert has been handled (such as
`otbn_reset`).  This could be reproduced with `otbn_reset` and the seeds
`2209004860` and `542535943`.

This commit adds the missing reset.

Signed-off-by: Andreas Kurth <adk@lowrisc.org>