projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 92dde31) | patch
Optimizing DFFs whose initial value prevents their value from changing
authorBogdan Vukobratovic <bogdan.vukobratovic@gmail.com>
Tue, 28 May 2019 06:48:21 +0000 (08:48 +0200)
committerBogdan Vukobratovic <bogdan.vukobratovic@gmail.com>
Tue, 28 May 2019 06:48:21 +0000 (08:48 +0200)
commit9a468f81c412f8b63d25e739f28932815c6882fb
treed49e79388b32a59c24d40b600f551fc682648d82tree
parent92dde319fc603223304a64a5a49bbbe6c1ec3045commit | diff
Optimizing DFFs whose initial value prevents their value from changing

This is a proof of concept implementation that invokes SAT solver via Pass::call
method.
passes/opt/opt_rmdff.cc diff | blob | history
passes/sat/sat.cc diff | blob | history
tests/opt/opt_ff_sat.v [new file with mode: 0644] blob
tests/opt/opt_ff_sat.ys [new file with mode: 0644] blob