T. Meissner tmeissner

tmeissner pushed to wip at tmeissner/cryptocores

2 weeks ago

tmeissner pushed to master at tmeissner/cryptocores

  • b59791e8f3 Move VHDL library files in work directory

1 month ago

tmeissner pushed to master at tmeissner/cryptocores

  • 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

1 month ago

tmeissner pushed to master at tmeissner/cryptocores

  • 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

1 month ago

tmeissner pushed to master at tmeissner/cryptocores

  • 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

1 month ago

tmeissner pushed to master at tmeissner/cryptocores

  • d8ca919f37 Fixed many incorrect implemented functions

1 month ago

tmeissner pushed to master at tmeissner/cryptocores

  • 42a5eb9b1b Minor refactoring & bugfixing * Set VHDL standard to VHDL 2008 * Replace rcon() functuion by simple array constant * Correct loop range in addroundkey() function

2 months ago

tmeissner pushed to master at tmeissner/cryptocores

  • 27e06dff2c Fix gmul() & (inv)mixcolums() functions

2 months ago

tmeissner pushed to master at tmeissner/bug_reports

2 months ago

tmeissner pushed to master at tmeissner/bug_reports

  • fefff7cc5d Add readme, change name to mimic github bug number

2 months ago

tmeissner pushed to master at tmeissner/bug_reports

2 months ago

tmeissner pushed to master at tmeissner/bug_reports

2 months ago

tmeissner created repository tmeissner/bug_reports

2 months ago

tmeissner pushed to master at tmeissner/formal_hw_verification

3 months ago

tmeissner deleted branch dev from tmeissner/formal_hw_verification

3 months ago

tmeissner pushed to master at tmeissner/formal_hw_verification

3 months ago

tmeissner pushed to verific_problem at tmeissner/formal_hw_verification

  • c1ed7d7b64 smtbmc error test case 2 solution (using --nomem)

3 months ago

tmeissner pushed to verific_problem at tmeissner/formal_hw_verification

3 months ago