projects / soc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 937cdd6) | patch
Add a check for liveness.
authorCesar Strauss <cestrauss@gmail.com>
Sun, 1 Nov 2020 17:02:52 +0000 (14:02 -0300)
committerCesar Strauss <cestrauss@gmail.com>
Sun, 1 Nov 2020 17:05:19 +0000 (14:05 -0300)
commitc3c7411efd6aa20dc37c3f778180d5cbbd9626de
tree9784defcac7dcf5ba735bbe0ebdaaf750965afa4tree
parent937cdd60698bef5e1d93f10fb9c866b78d49f2edcommit | diff
Add a check for liveness.

There was already a check for the correctness of the results, but there
was no guarantee that any result would be produced at all.
src/soc/experiment/formal/proof_alu_fsm.py diff | blob | history