projects / soc.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Avoid toggling go_i when rel_o is low
[soc.git] / src / soc / experiment / formal / proof_compalu_multi.py
2022-10-01 Cesar StraussAvoid toggling go_i when rel_o is low blob | commitdiff | raw
2022-10-01 Cesar StraussLeave shadow / die proof for last blob | commitdiff | raw | diff to current
2022-10-01 Cesar StraussStart of formal proof of MultiCompUnit blob | commitdiff | raw | diff to current