projects / soc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e34ee0c) | patch
Add bounded proof to FSM Shifter
authorCesar Strauss <cestrauss@gmail.com>
Sun, 20 Sep 2020 22:12:44 +0000 (19:12 -0300)
committerCesar Strauss <cestrauss@gmail.com>
Sun, 20 Sep 2020 22:19:35 +0000 (19:19 -0300)
commit23cf35ed98c3b2af32804d59898bb248e0c99967
tree3cb3fb9fa2b7a95ebc43b58be5313af75b997830tree
parente34ee0cca94080b1c077da8ed16c7a6fee624f19commit | diff
Add bounded proof to FSM Shifter

In the process, fix an off-by-one bit size bug.
src/soc/experiment/formal/proof_alu_fsm.py diff | blob | history