lowRISC / opentitan

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

[aes,dv] Randomly drive invalid operation values to fix coverage hole #20941

Open vogelpi opened 7 months ago

vogelpi commented 7 months ago

Description

Fixing #20753 (erroneous covergroup sampling function declaration) revealed that there has been coverage hole in AES DV: we were not driving invalid operation values and thus not testing the inherent resolution to the encryption mode in case of an invalid value.

I am not worried at all about this, the logic is super simple an very similar to other config fields where we check the resolution and also have coverage. But we still should solve this for M5.

andreaskurth commented 1 month ago

After discussing with @vogelpi, we're deferring this to V3 / M7 because it's about completing coverage under invalid operation