Add handling of A inversion and B input
authorMichael Nolan <mtnolan2640@gmail.com>
Fri, 8 May 2020 15:09:40 +0000 (11:09 -0400)
committerMichael Nolan <mtnolan2640@gmail.com>
Fri, 8 May 2020 15:09:40 +0000 (11:09 -0400)
commitbac3a07250026743e1521154d9dc82ddacbcb825
tree034b1e2eac69a164f21f52ffdcbae6b8e3245b6d
parent26dfc9d27388c99f147d8c55e6c933fa91add592
Add handling of A inversion and B input
src/soc/alu/formal/proof_input_stage.py
src/soc/alu/input_stage.py