tree 41e185222209038a684a57dbd830e4dfddaf567c
parent 9a8d9b7c8bb357cec4387f890b2b880fac496131
author Rupert Swarbrick <rswarbrick@lowrisc.org> 1623686485 +0100
committer Rupert Swarbrick <rswarbrick@gmail.com> 1623767280 +0100

[otbn,dv] Add a check for the INSN_CNT register

Since we want a cycle-by-cycle check that the dut and model match, it
seemed easiest just to use an assertion in an interface. This also
makes it easy to wire up a cover property to check we've seen the
counter saturate.

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