aboutsummaryrefslogtreecommitdiffstats
path: root/passes/fsm
diff options
context:
space:
mode:
authorAlberto Gonzalez <boqwxp@airmail.cc>2020-05-22 04:48:33 +0000
committerAlberto Gonzalez <boqwxp@airmail.cc>2020-06-21 02:16:11 +0000
commita3d1f8637a8a9a97e3152fea1ceae23f798f54d8 (patch)
tree5bce985396f806c6ea4815091bb87c9aeda235de /passes/fsm
parent992d694d39db859bd7b554126881be69f3cfcd2e (diff)
downloadyosys-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