aboutsummaryrefslogtreecommitdiffstats
path: root/fpga_interchange/site_router_tests/common/synth.tcl
diff options
context:
space:
mode:
Diffstat (limited to 'fpga_interchange/site_router_tests/common/synth.tcl')
-rw-r--r--fpga_interchange/site_router_tests/common/synth.tcl14
1 files changed, 14 insertions, 0 deletions
diff --git a/fpga_interchange/site_router_tests/common/synth.tcl b/fpga_interchange/site_router_tests/common/synth.tcl
new file mode 100644
index 0000000..cba4503
--- /dev/null
+++ b/fpga_interchange/site_router_tests/common/synth.tcl
@@ -0,0 +1,14 @@
+yosys -import
+
+read_verilog $::env(SOURCES)
+
+synth_xilinx -flatten -abc9 -nosrl -nocarry -nodsp
+
+# opt_expr -undriven makes sure all nets are driven, if only by the $undef
+# net.
+opt_expr -undriven
+opt_clean
+
+setundef -zero -params
+
+write_json $::env(OUT_JSON)