diff options
| author | Alberto Gonzalez <boqwxp@airmail.cc> | 2020-05-22 04:48:33 +0000 |
|---|---|---|
| committer | Alberto Gonzalez <boqwxp@airmail.cc> | 2020-06-21 02:16:11 +0000 |
| commit | a3d1f8637a8a9a97e3152fea1ceae23f798f54d8 (patch) | |
| tree | 5bce985396f806c6ea4815091bb87c9aeda235de /passes/fsm | |
| parent | 992d694d39db859bd7b554126881be69f3cfcd2e (diff) | |
| download | yosys-a3d1f8637a8a9a97e3152fea1ceae23f798f54d8.tar.gz yosys-a3d1f8637a8a9a97e3152fea1ceae23f798f54d8.tar.bz2 yosys-a3d1f8637a8a9a97e3152fea1ceae23f798f54d8.zip | |
qbfsat: Use bit precise mapping for hole value wires and a more robust hole spec for writing to and specializing from a solution file.
Diffstat (limited to 'passes/fsm')
0 files changed, 0 insertions, 0 deletions