projects / soc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5aa0ab1) | patch
Allow the formal engine to perform a same-cycle result in the ALU master
authorCesar Strauss <cestrauss@gmail.com>
Sun, 5 Nov 2023 14:18:40 +0000 (11:18 -0300)
committerCesar Strauss <cestrauss@gmail.com>
Sun, 5 Nov 2023 14:18:40 +0000 (11:18 -0300)
commit2a66fe18cd77dd5533c65930d1b241cf6faac455
tree542d74607bbb7bcff2dbc8d09cedd51215073ea9tree
parent5aa0ab1da7681952e5e6424800c0f80b84826695commit | diff
Allow the formal engine to perform a same-cycle result in the ALU

This adds an exception to holding o_valid low, when the ALU is idle.
If a write to the ALU just occurred, allow o_valid to become high, in
the same cycle.
src/soc/experiment/formal/proof_compalu_multi.py diff | blob | history