Add shift left and shift right to main stage proof
authorMichael Nolan <mtnolan2640@gmail.com>
Sat, 9 May 2020 23:22:28 +0000 (19:22 -0400)
committerMichael Nolan <mtnolan2640@gmail.com>
Sat, 9 May 2020 23:22:28 +0000 (19:22 -0400)
commited06746916a4b3c8876ea38333b2a1a47efdb333
tree45890c1c797ff273b56ab61a44941a45a906eaa2
parent3473de9329a38867ed3c01680c02c9b4aba22bf3
Add shift left and shift right to main stage proof
src/soc/alu/formal/proof_main_stage.py
src/soc/alu/test/test_pipe_caller.py