diff options
| author | Alberto Gonzalez <boqwxp@airmail.cc> | 2020-06-30 01:53:21 +0000 |
|---|---|---|
| committer | Alberto Gonzalez <boqwxp@airmail.cc> | 2020-06-30 01:53:21 +0000 |
| commit | f544a2cc84f8ec20ad1d86208788bdd8cebcc284 (patch) | |
| tree | 1868ab9ffe81428a99f4a80b0824311504560bc9 /passes/sat/example.v | |
| parent | 4160acc0b19532d50435abbc66bd2f6aab9473b6 (diff) | |
| download | yosys-f544a2cc84f8ec20ad1d86208788bdd8cebcc284.tar.gz yosys-f544a2cc84f8ec20ad1d86208788bdd8cebcc284.tar.bz2 yosys-f544a2cc84f8ec20ad1d86208788bdd8cebcc284.zip | |
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.
Diffstat (limited to 'passes/sat/example.v')
0 files changed, 0 insertions, 0 deletions