projects / soc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cbb8d3b) | patch
set up StageChain of 3 mul stages
authorLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Wed, 19 Aug 2020 00:15:33 +0000 (01:15 +0100)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Wed, 19 Aug 2020 00:15:33 +0000 (01:15 +0100)
commitd3deda12916c450f05f7d03610f0ef79c9cbdafb
tree007e71ae430f7308a6a54ee6b80c44f14adb1dd4tree
parentcbb8d3b060b4e53e5822dbd55d5191a99929fbe3commit | diff
set up StageChain of 3 mul stages
src/soc/fu/mul/formal/proof_main_stage.py diff | blob | history