[kmac/pre_sca] Enable formal masking verification of KMAC with Alma
This commit adds a couple of support files similar to what we have for
AES to enably formal verification of the masking employed in KMAC
using the Alma tool. For now, we only support verifying the
keccak_2share module containing the critical S-Boxes.
Signed-off-by: Pirmin Vogel <vogelpi@lowrisc.org>
diff --git a/util/licence-checker.hjson b/util/licence-checker.hjson
index 9b21cf7..4e4fe63 100644
--- a/util/licence-checker.hjson
+++ b/util/licence-checker.hjson
@@ -62,5 +62,6 @@
'hw/ip/aes/pre_sca/alma/cpp/testbench.h',
'hw/ip/aes/pre_sca/alma/cpp/verilator_tb_aes_sbox.cpp',
'hw/ip/aes/pre_sca/alma/cpp/verilator_tb_aes_sub_bytes.cpp',
+ 'hw/ip/kmac/pre_sca/alma/cpp/verilator_tb_keccak_2share.cpp',
],
}
