Opencores encourages the use of free tools for synthesis, but so far have not seen a proposal for verification IPs in the present moment and not dedicated myself to look on the site if there were people who would be doing what I'm doing. I am providing a system designed to verify the functionality of AES128 environment. Still not finished and still need to document about the process of verification of the same. Until then has only checking the ECB still lacks the test piece with CBC and CTR.
6
7
I chose the icarus verilog because it already had a previous experience with it and it provides a PLI interface that enables the use of C/C++.
8
9
I will post bugs to be solved by Design. Be patient more updates will come.
10
11
12
IF you want to test another cases on env go to aes_bfm_generate.h and change type_bfm = ECB_KEY_GEN_CCFIE to another constatnt where can be see on env_aes.c
