Reverse bit order for cr0 in proof
authorMichael Nolan <mtnolan2640@gmail.com>
Mon, 11 May 2020 15:32:20 +0000 (11:32 -0400)
committerMichael Nolan <mtnolan2640@gmail.com>
Mon, 11 May 2020 15:32:20 +0000 (11:32 -0400)
commit1cf2b12bee7da79c52d840517f56c28b4a5182d0
tree1e70d5e249679481a12a5619d8b88417f55b8d74
parent9047d0fbde58a11ebe7c38d440eba0f921d96b88
Reverse bit order for cr0 in proof
src/soc/alu/formal/proof_output_stage.py