projects / soc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 003791e) | patch
Avoid toggling go_i when rel_o is low
authorCesar Strauss <cestrauss@gmail.com>
Sat, 1 Oct 2022 22:06:23 +0000 (19:06 -0300)
committerCesar Strauss <cestrauss@gmail.com>
Sat, 1 Oct 2022 22:17:58 +0000 (19:17 -0300)
commit2683a097ed9197507c77e79392c0f318f4ab09ea
treecff7faa23918747b3781018e9e0019b6489721d1tree
parent003791ed6230b3a45278cdcb7781526911688c9acommit | diff
Avoid toggling go_i when rel_o is low

This must be enforced on the scoreboard, in its proof.
src/soc/experiment/formal/proof_compalu_multi.py diff | blob | history