projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4160acc) | patch
qbfsat: Fix name-based hole specialization.
authorAlberto Gonzalez <boqwxp@airmail.cc>
Tue, 30 Jun 2020 01:53:21 +0000 (01:53 +0000)
committerAlberto Gonzalez <boqwxp@airmail.cc>
Tue, 30 Jun 2020 01:53:21 +0000 (01:53 +0000)
commitf544a2cc84f8ec20ad1d86208788bdd8cebcc284
tree1868ab9ffe81428a99f4a80b0824311504560bc9tree
parent4160acc0b19532d50435abbc66bd2f6aab9473b6commit | diff
qbfsat: Fix name-based hole specialization.

Look for unique connections in the containing module with the $anyconst port Y SigBit on the RHS and use those. If no such connection is found, fall back to using the name of the $anyconst port Y SigBit.
passes/sat/qbfsat.cc diff | blob | history