projects / soc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cee9cea) | patch
Don't issue while busy
authorCesar Strauss <cestrauss@gmail.com>
Sun, 9 Oct 2022 10:08:13 +0000 (07:08 -0300)
committerCesar Strauss <cestrauss@gmail.com>
Sun, 9 Oct 2022 10:08:13 +0000 (07:08 -0300)
commite3654a3502e0770d7af2fb168ef016a6a398b233
tree113d82d53e4a9d5c0562bba8e465c5e6143113f9tree
parentcee9cea61dea8bb02458ff5faec1f639dbcbd47acommit | diff
Don't issue while busy

Otherwise, the formal engine, in some cases, will happily assert issue_i
while busy_o is high. MultiCompUnit can't handle that.
src/soc/experiment/formal/proof_compalu_multi.py diff | blob | history