projects / soc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0a4b23a) | patch
invert test condition in formal proof of ALU output stage
authorLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Thu, 14 May 2020 16:39:45 +0000 (17:39 +0100)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Thu, 14 May 2020 16:39:45 +0000 (17:39 +0100)
commit02318eaee9983dad92ab4c0ef76febc562a198cc
tree18353e588e78dcaa7750ea2ce25fcf8d44ffdd39tree
parent0a4b23a11351c0fa3057f853aaf2bfcd857b010bcommit | diff
invert test condition in formal proof of ALU output stage
src/soc/alu/formal/proof_output_stage.py diff | blob | history