[hmac,dv] Run UNR analysis

lowRISC / opentitan

OpenTitan: Open source silicon root of trust

https://www.opentitan.org

Apache License 2.0

2.43k stars 726 forks source link

[hmac,dv] Run UNR analysis #23683

Open gdessouky opened 2 weeks ago

gdessouky commented 2 weeks ago

Description

Once coverage reaches its maximum possible, run UNR anaylsis.

@martin-velay @moidx @vogelpi

martin-velay commented 6 days ago

I ran a regression today, but not with the master's head. I used this commit 7f47f7564ed63efee7b29022d5eb05441114024c, it takes several recent changes which are not yet merged.

Here are the results:

I think we should dig to understand why the FSM code cov is so weak. Now I'll have analyze the fcov.

martin-velay commented 1 day ago

FYI I will run it tonight