Skip to content

Y
yosys-tests
Commit c0788975 by whitequark
Options

Add proc_prune before explicit proc_init.

parent 3cd49561
Showing with 5 additions and 0 deletions
backends/scripts/write_btor.ys
...@@ -8,6 +8,7 @@ synth -top top ...@@ -8,6 +8,7 @@ synth -top top
write_btor btor1.btor write_btor btor1.btor
design -reset design -reset
read_verilog -sv ../top.v read_verilog -sv ../top.v
proc_prune
proc_init proc_init
proc_mux proc_mux
proc_dff proc_dff
......
backends/scripts/write_btor_s.ys
...@@ -7,6 +7,7 @@ synth -top top ...@@ -7,6 +7,7 @@ synth -top top
write_btor -s btor1.btor write_btor -s btor1.btor
design -reset design -reset
read_verilog -sv ../top.v read_verilog -sv ../top.v
proc_prune
proc_init proc_init
proc_mux proc_mux
proc_dff proc_dff
......
backends/scripts/write_btor_v.ys
...@@ -7,6 +7,7 @@ synth -top top ...@@ -7,6 +7,7 @@ synth -top top
write_btor -v btor1.btor write_btor -v btor1.btor
design -reset design -reset
read_verilog -sv ../top.v read_verilog -sv ../top.v
proc_prune
proc_init proc_init
proc_mux proc_mux
proc_dff proc_dff
......
regression/scripts/issue_00444.ys
read_verilog -formal ../top.v read_verilog -formal ../top.v
hierarchy hierarchy
proc_prune
proc_init proc_init
proc_mux proc_mux
proc_dff proc_dff
......
simple/scripts/opt_merge_share_all.ys
read_verilog -formal ../top.v read_verilog -formal ../top.v
hierarchy hierarchy
proc_prune
proc_init proc_init
proc_mux proc_mux
proc_dff proc_dff
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment