cryptocores

1.7 MiB

Author	SHA1	Message	Date
T. Meissner	51d7b485b9	Make PSL compatible with simulation & synthesis	4 years ago
T. Meissner	491b4df54f	Move PSL stuff in generate block; add formal PSL code	4 years ago
T. Meissner	dce8396498	Refactoring; remove unused functions	4 years ago
T. Meissner	28b2cd3856	Implement key schedule for encryption, finally	4 years ago
T. Meissner	77f87536c9	FSM optimizations; PSL enhancements * Optimize setting of valid/data outputs to save one cycle * Replace not working PSL stable assertion by seperate helper register and equal compare	6 years ago
T. Meissner	c400d2ef1b	Add PSL checkers, refactoring * Add some simple PSL checkers & coverage to aes_enc & aes_dec * Add generating of PSL coverage report * Add report outputs to testbench	6 years ago
T. Meissner	735c411ff8	First working version of AES enc & dec * Split enc & dec in separate units aes_enc & aes_dec * Add component declarations to aes_pkg * Key schedule isn't implemented yet * Fixed round keys at the moment until key schedule is implemented * Simple test of enc & dec * New aes top level unit (empty at the moment) * Renamed makefile to Makefile	6 years ago