Have input_stage set the b operand to imm_data if it is valid
authorMichael Nolan <mtnolan2640@gmail.com>
Fri, 8 May 2020 17:49:27 +0000 (13:49 -0400)
committerMichael Nolan <mtnolan2640@gmail.com>
Fri, 8 May 2020 17:49:27 +0000 (13:49 -0400)
commit939c409c32e7a522edeb4879d14c30a4efb6b2f8
tree30c9375df62377443885a106a16243aa4efb78cf
parent6f527ce9190c29197232f4a633471e390642f4bb
Have input_stage set the b operand to imm_data if it is valid
src/soc/alu/formal/proof_input_stage.py
src/soc/alu/input_stage.py