tree cd31a3f5f340b2a7c9cae5c357fa70e38d0c140d
parent 2afda30b9c452c4a03f2ff46786aeba79cc9a033
author Rupert Swarbrick <rswarbrick@lowrisc.org> 1601452780 +0100
committer Rupert Swarbrick <rswarbrick@gmail.com> 1601895317 +0100

[otbn] Add register checking to otbn_core_model

This works by binding a "snooping" interface (otbn_rf_snooper) into
both the register files and checking a (text-based) dump from the ISS
to see whether it matches.

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