From 03273371c06d491c5efb3dc47b643d15010863cc Mon Sep 17 00:00:00 2001
From: tangxifan <tangxifan@gmail.com>
Date: Wed, 18 Jan 2023 18:17:14 -0800
Subject: [PATCH] [test] add a new test to validate local reset

---
 .../k4n4_rst_gen/config/pin_constraints.xml   |  5 +++
 .../config/repack_design_constraints.xml      |  6 +++
 .../k4_series/k4n4_rst_gen/config/task.conf   | 45 +++++++++++++++++++
 3 files changed, 56 insertions(+)
 create mode 100644 openfpga_flow/tasks/basic_tests/k4_series/k4n4_rst_gen/config/pin_constraints.xml
 create mode 100644 openfpga_flow/tasks/basic_tests/k4_series/k4n4_rst_gen/config/repack_design_constraints.xml
 create mode 100644 openfpga_flow/tasks/basic_tests/k4_series/k4n4_rst_gen/config/task.conf

diff --git a/openfpga_flow/tasks/basic_tests/k4_series/k4n4_rst_gen/config/pin_constraints.xml b/openfpga_flow/tasks/basic_tests/k4_series/k4n4_rst_gen/config/pin_constraints.xml
new file mode 100644
index 000000000..e297abb77
--- /dev/null
+++ b/openfpga_flow/tasks/basic_tests/k4_series/k4n4_rst_gen/config/pin_constraints.xml
@@ -0,0 +1,5 @@
+<pin_constraints>
+  <set_io pin="op_clk[0]" net="clk_i"/>
+  <set_io pin="op_reset[0]" net="rst_i"/>
+</pin_constraints>
+
diff --git a/openfpga_flow/tasks/basic_tests/k4_series/k4n4_rst_gen/config/repack_design_constraints.xml b/openfpga_flow/tasks/basic_tests/k4_series/k4n4_rst_gen/config/repack_design_constraints.xml
new file mode 100644
index 000000000..e64c0d123
--- /dev/null
+++ b/openfpga_flow/tasks/basic_tests/k4_series/k4n4_rst_gen/config/repack_design_constraints.xml
@@ -0,0 +1,6 @@
+<repack_design_constraints>
+  <pin_constraint pb_type="clb" pin="clk[0]" net="clk_i"/>
+  <pin_constraint pb_type="clb" pin="reset[0]" net="rst_i"/>
+  <!-- Leave lreset unconstrained as it may be mapped to any internal reset signals -->
+</repack_design_constraints>
+
diff --git a/openfpga_flow/tasks/basic_tests/k4_series/k4n4_rst_gen/config/task.conf b/openfpga_flow/tasks/basic_tests/k4_series/k4n4_rst_gen/config/task.conf
new file mode 100644
index 000000000..c3a0d864d
--- /dev/null
+++ b/openfpga_flow/tasks/basic_tests/k4_series/k4n4_rst_gen/config/task.conf
@@ -0,0 +1,45 @@
+# = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =
+# Configuration file for running experiments
+# = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =
+# timeout_each_job : FPGA Task script splits fpga flow into multiple jobs
+# Each job execute fpga_flow script on combination of architecture & benchmark
+# timeout_each_job is timeout for each job
+# = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =
+
+[GENERAL]
+run_engine=openfpga_shell
+power_tech_file = ${PATH:OPENFPGA_PATH}/openfpga_flow/tech/PTM_45nm/45nm.xml
+power_analysis = false
+spice_output=false
+verilog_output=true
+timeout_each_job = 3*60
+fpga_flow=vpr_blif
+
+[OpenFPGA_SHELL]
+openfpga_shell_template=${PATH:OPENFPGA_PATH}/openfpga_flow/openfpga_shell_scripts/ignore_global_nets_on_pins_example_script.openfpga
+openfpga_arch_file=${PATH:OPENFPGA_PATH}/openfpga_flow/openfpga_arch/k4_frac_N4_fracff_40nm_cc_openfpga.xml
+openfpga_sim_setting_file=${PATH:OPENFPGA_PATH}/openfpga_flow/openfpga_simulation_settings/fixed_sim_openfpga.xml
+openfpga_repack_design_constraint_file=${PATH:TASK_DIR}/config/repack_design_constraints.xml
+
+[ARCHITECTURES]
+arch0=${PATH:OPENFPGA_PATH}/openfpga_flow/vpr_arch/k4_frac_N4_tileable_fracff_localRstGen_40nm.xml
+
+[BENCHMARKS]
+bench0=${PATH:OPENFPGA_PATH}/openfpga_flow/benchmarks/micro_benchmark/two_dff_inv_rst/two_dff_inv_rst.blif
+
+[SYNTHESIS_PARAM]
+# Yosys script parameters
+bench_yosys_cell_sim_verilog_common=${PATH:OPENFPGA_PATH}/openfpga_flow/openfpga_yosys_techlib/openfpga_dff_sim.v
+bench_yosys_dff_map_verilog_common=${PATH:OPENFPGA_PATH}/openfpga_flow/openfpga_yosys_techlib/openfpga_dff_map.v
+bench_read_verilog_options_common = -nolatches
+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
+
+bench0_top = two_dff_inv_rst
+bench0_verilog=${PATH:OPENFPGA_PATH}/openfpga_flow/benchmarks/micro_benchmark/two_dff_inv_rst/two_dff_inv_rst.v
+bench0_openfpga_pin_constraints_file = ${PATH:TASK_DIR}/config/pin_constraints.xml
+bench0_openfpga_repack_design_constraint_file=${PATH:TASK_DIR}/config/repack_design_constraints.xml
+
+[SCRIPT_PARAM_MIN_ROUTE_CHAN_WIDTH]
+end_flow_with_test=
+vpr_fpga_verilog_formal_verification_top_netlist=