projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: abc8f1f) | patch
cxxrtl: detect buffered comb wires, not just feedback wires.
authorwhitequark <whitequark@whitequark.org>
Mon, 20 Apr 2020 16:44:51 +0000 (16:44 +0000)
committerwhitequark <whitequark@whitequark.org>
Tue, 21 Apr 2020 13:36:50 +0000 (13:36 +0000)
commitf24fb4ae82c9fb0cdaf9c954dbe6b3569c1ccda0
treefe654e759ff8816b929cf03dfd5385108a2f6dfdtree
parentabc8f1fcb65bb99ef4bf6fc6c6aa3126c333c68fcommit | diff
cxxrtl: detect buffered comb wires, not just feedback wires.

Any buffered combinatorial wires (including, as a subset, feedback
wires) will prevent the design from always converging in one delta
cycle. Before this commit, only feedback wires were detected. After
this commit, any buffered combinatorial wires, including feedback
wires, are detected.

Co-authored-by: Jean-François Nguyen <jf@lambdaconcept.com>
backends/cxxrtl/cxxrtl.cc diff | blob | history