This website requires JavaScript.
Explore
Help
Sign In
riscv
/
yosys
mirror of
https://github.com/YosysHQ/yosys.git
Watch
1
Star
0
Fork
You've already forked yosys
0
Code
Issues
Projects
Releases
Wiki
Activity
1793e6018a
yosys
/
tests
/
opt
/
opt_ff_sat.ys
6 lines
95 B
Plaintext
Raw
Normal View
History
Unescape
Escape
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.
2019-05-28 01:48:21 -05:00
read_verilog opt_ff_sat.v
prep -flatten
opt_rmdff -sat
synth
Refactor "opt_rmdff -sat" Signed-off-by: Clifford Wolf <clifford@clifford.at>
2019-06-20 06:44:21 -05:00
select -assert-count 5 t:$_DFF_P_