tree 15248dbb7a5707ee408d8a8cf23303c24915e7bf
parent 0ac448acf7f8daa24b3daa0ea98058d1f8c29165
author Pirmin Vogel <vogelpi@lowrisc.org> 1637843908 +0100
committer Pirmin Vogel <vogelpi@lowrisc.org> 1638193948 +0100

[aes, pre_sca] Enable formal masking verification of AES with Alma

This commit adds a couple of support files and a how to for formal
verifying the masking employed inside AES using the Alma tool.

Signed-off-by: Pirmin Vogel <vogelpi@lowrisc.org>