If we need specs to for them, we should consider the ones [from SilverOak](https://github.com/project-oak/silveroak/tree/cccfdb4e19c5906256d2ed4487bf1a0aa2fab99e/silveroak-opentitan/aes/Spec).
If we need specs to for them, we should consider the ones from SilverOak.