Fix bug in shift_rot, update proof to handle new interface
authorMichael Nolan <mtnolan2640@gmail.com>
Thu, 14 May 2020 14:35:44 +0000 (10:35 -0400)
committerMichael Nolan <mtnolan2640@gmail.com>
Thu, 14 May 2020 14:36:10 +0000 (10:36 -0400)
commita1f49befd9b61093c4b8017fe7ba1242022b4c90
tree7f4b3fe6e3790cfa07bc0d8bb81dffffd5195027
parenta37872470f4b4e6ed5191b2c598dff6780899986
Fix bug in shift_rot, update proof to handle new interface
src/soc/shift_rot/formal/proof_main_stage.py
src/soc/shift_rot/rotator.py
src/soc/shift_rot/test/test_pipe_caller.py