[Script] Support simplified rewriting for Yosys on output verilog
This commit is contained in:
parent
401f673f16
commit
36543f7f2f
|
@ -39,3 +39,4 @@ synth -run check
|
||||||
# Clean and output blif
|
# Clean and output blif
|
||||||
opt_clean -purge
|
opt_clean -purge
|
||||||
write_blif rewritten_${OUTPUT_BLIF}
|
write_blif rewritten_${OUTPUT_BLIF}
|
||||||
|
write_verilog ${OUTPUT_VERILOG}
|
||||||
|
|
|
@ -38,7 +38,7 @@ bench_yosys_dsp_map_verilog_common=${PATH:OPENFPGA_PATH}/openfpga_flow/openfpga_
|
||||||
bench_yosys_dsp_map_parameters_common=-D DSP_A_MAXWIDTH=36 -D DSP_B_MAXWIDTH=36 -D DSP_A_MINWIDTH=2 -D DSP_B_MINWIDTH=2 -D DSP_NAME=mult_36x36
|
bench_yosys_dsp_map_parameters_common=-D DSP_A_MAXWIDTH=36 -D DSP_B_MAXWIDTH=36 -D DSP_A_MINWIDTH=2 -D DSP_B_MINWIDTH=2 -D DSP_NAME=mult_36x36
|
||||||
bench_read_verilog_options_common = -nolatches
|
bench_read_verilog_options_common = -nolatches
|
||||||
bench_yosys_common=${PATH:OPENFPGA_PATH}/openfpga_flow/misc/ys_tmpl_yosys_vpr_dff_flow.ys
|
bench_yosys_common=${PATH:OPENFPGA_PATH}/openfpga_flow/misc/ys_tmpl_yosys_vpr_dff_flow.ys
|
||||||
bench_yosys_rewrite_common=${PATH:OPENFPGA_PATH}/openfpga_flow/misc/ys_tmpl_yosys_vpr_flow_with_rewrite.ys;${PATH:OPENFPGA_PATH}/openfpga_flow/misc/ys_tmpl_rewrite_flow.ys
|
bench_yosys_rewrite_common=${PATH:OPENFPGA_PATH}/openfpga_flow/misc/ys_tmpl_yosys_vpr_flow_with_rewrite.ys
|
||||||
|
|
||||||
bench0_top = counter
|
bench0_top = counter
|
||||||
bench0_openfpga_pin_constraints_file=${PATH:TASK_DIR}/config/pin_constraints_reset.xml
|
bench0_openfpga_pin_constraints_file=${PATH:TASK_DIR}/config/pin_constraints_reset.xml
|
||||||
|
|
Loading…
Reference in New Issue