MUL pipeline proofs: mulli / mullw WIP.
authorSamuel A. Falvo II <kc5tja@arrl.net>
Fri, 21 Aug 2020 01:32:17 +0000 (18:32 -0700)
committerSamuel A. Falvo II <kc5tja@arrl.net>
Fri, 21 Aug 2020 01:32:17 +0000 (18:32 -0700)
commitf0ecc4a1be4044ee1f6ce5efc29f7a5b284634f3
treeb8a32a0b0a42ba2a3d2b0340072b518ff55c2307
parent81493cd0a302869ca4aa094d5b73fd97f8e41ee3
MUL pipeline proofs: mulli / mullw WIP.
src/soc/fu/mul/formal/proof_main_stage.py