project-oak / silveroak

Formal specification and verification of hardware, especially for security and privacy.
Apache License 2.0
123 stars 20 forks source link

Hmac update #901

Closed blaxill closed 3 years ago

blaxill commented 3 years ago

HMAC appears to be working - we can set the key registers and stream data to the fifo and it produces the correct value in the digest registers.

It took me longer than intended to get the timing right :(

Also