projects / soc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 632fd65) | patch
MUL pipeline WIP: mullw and mullwu covered.
authorSamuel A. Falvo II <kc5tja@arrl.net>
Fri, 21 Aug 2020 03:20:20 +0000 (20:20 -0700)
committerSamuel A. Falvo II <kc5tja@arrl.net>
Fri, 21 Aug 2020 03:20:20 +0000 (20:20 -0700)
commitab1f26552e9614ee678fb9cfa69f22ab06427f43
tree3db117c36416ca675a47ef7f5b24f8929727a262tree
parent632fd65bedcc1e6638374995ef59b55c2ba858eacommit | diff
MUL pipeline WIP: mullw and mullwu covered.
src/soc/fu/mul/formal/proof_main_stage.py diff | blob | history