[hmac,dv] Minor assertion checks

lowRISC / opentitan

OpenTitan: Open source silicon root of trust

https://www.opentitan.org

Apache License 2.0

2.58k stars 775 forks source link

Open martin-velay opened 2 months ago

martin-velay commented 2 months ago

[ ] HMAC core block FIFO size : HMAC core contains a 32x32-bit size FIFO
[ ] SHA-2 block FIFOs sizes : SHA-2 block contains two time a 8x64-bit size FIFOs (one for the hash and one for the digest)
[ ] HMAC extra latency : HMAC should introduce a latency equals to 240 extra cycles
[ ] MSG_LENGTH_LOWER register LSBs : Message length granularity should be in bytes, and these registers express it in bits, so the 3 LSBs from MSG_LENGTH_LOWER should be always zeros

martin-velay commented 2 months ago

Should be moved to M7 backlog as not verifying anything important