search

lowRISC / opentitan

OpenTitan: Open source silicon root of trust
https://www.opentitan.org
Apache License 2.0
2.51k stars 745 forks source link

[otbn,dv] Cover the "branch to self" coverpoint #8074

Open rswarbrick opened 3 years ago

rswarbrick commented 3 years ago

This (obviously) causes an infinite loop, so will need something analogous to the loop warping support to let us stop again.

estimate 4

rswarbrick commented 2 years ago

The milestone was wrong here: this is about hitting a specific coverage point (from when I went through a coverage report trying to work out what we were missing). Moving to V3 and removing from the M2 project.

GregAC commented 1 year ago

We still don't hit this, of low concern as it really indicates buggy software so if it does something surprising it's not too bad. Still it'd be nice to test before M2.5

GregAC commented 1 year ago

estimate range 2 - 4

rswarbrick commented 3 months ago

Moving to M7 as this is part of V3 (targeted by that milestone, rather than M5)