fpga_interchange: tests: added comment and fixed XDC

Signed-off-by: Alessandro Comodi <acomodi@antmicro.com>

16 files changed, 74 insertions, 29 deletions

diff --git a/fpga_interchange/examples/tests.cmake b/fpga_interchange/examples/tests.cmake
index cb2ec483..4dc5ba48 100644
--- a/fpga_interchange/examples/tests.cmake
+++ b/fpga_interchange/examples/tests.cmake
@@ -9,7 +9,14 @@ function(add_interchange_test)
     #    top <top name>
     #    sources <sources list>
     # )
-    # ~~~
+    #
+    # Generates targets to run desired tests
+    #
+    # Targets generated:
+    #   - test-fpga_interchange-<name>-json     : synthesis output
+    #   - test-fpga_interchange-<name>-netlist  : interchange logical netlist
+    #   - test-fpga_interchange-<name>-phys     : interchange physical netlist
+    #   - test-fpga_interchange-<name>-phys     : design checkpoint with RapidWright
 
     set(options)
     set(oneValueArgs name device package tcl xdc top)
@@ -70,6 +77,7 @@ function(add_interchange_test)
         DEPENDS
             ${synth_json}
             ${device_target}
+            ${device_loc}
     )
 
     add_custom_target(test-${family}-${name}-netlist DEPENDS ${netlist})
@@ -90,6 +98,7 @@ function(add_interchange_test)
         DEPENDS
             ${netlist}
             ${chipdb_target}
+            ${chipdb_dir}/chipdb-${device}.bba
     )
 
     add_custom_target(test-${family}-${name}-phys DEPENDS ${phys})
diff --git a/fpga_interchange/examples/tests/const_wire/CMakeLists.txt b/fpga_interchange/examples/tests/const_wire/CMakeLists.txt
index 6dbeaae5..8a3c4375 100644
--- a/fpga_interchange/examples/tests/const_wire/CMakeLists.txt
+++ b/fpga_interchange/examples/tests/const_wire/CMakeLists.txt
@@ -1,17 +1,17 @@
 add_interchange_test(
     name const_wire_basys3
-    device xc7a50t
+    device xc7a35t
     package cpg236
     tcl run.tcl
-    xdc wire.xdc
+    xdc wire_basys3.xdc
     sources wire.v
 )
 
 add_interchange_test(
     name const_wire_arty
-    device xc7a50t
+    device xc7a35t
     package csg324
     tcl run.tcl
-    xdc wire.xdc
+    xdc wire_arty.xdc
     sources wire.v
 )
diff --git a/fpga_interchange/examples/tests/const_wire/wire.xdc b/fpga_interchange/examples/tests/const_wire/wire_arty.xdc
index 0d96fc45..0d96fc45 100644
--- a/fpga_interchange/examples/tests/const_wire/wire.xdc
+++ b/fpga_interchange/examples/tests/const_wire/wire_arty.xdc
diff --git a/fpga_interchange/examples/tests/const_wire/wire_basys3.xdc b/fpga_interchange/examples/tests/const_wire/wire_basys3.xdc
new file mode 100644
index 00000000..f8435580
--- /dev/null
+++ b/fpga_interchange/examples/tests/const_wire/wire_basys3.xdc
@@ -0,0 +1,9 @@
+set_property PACKAGE_PIN U16 [get_ports o]
+set_property PACKAGE_PIN E19 [get_ports o2]
+set_property PACKAGE_PIN U19 [get_ports o3]
+set_property PACKAGE_PIN V19 [get_ports o4]
+
+set_property IOSTANDARD LVCMOS33 [get_ports o]
+set_property IOSTANDARD LVCMOS33 [get_ports o2]
+set_property IOSTANDARD LVCMOS33 [get_ports o3]
+set_property IOSTANDARD LVCMOS33 [get_ports o4]
diff --git a/fpga_interchange/examples/tests/counter/CMakeLists.txt b/fpga_interchange/examples/tests/counter/CMakeLists.txt
index ac180070..60375770 100644
--- a/fpga_interchange/examples/tests/counter/CMakeLists.txt
+++ b/fpga_interchange/examples/tests/counter/CMakeLists.txt
@@ -1,17 +1,17 @@
 add_interchange_test(
     name counter_basys3
-    device xc7a50t
+    device xc7a35t
     package cpg236
     tcl run.tcl
-    xdc counter.xdc
+    xdc counter_basys3.xdc
     sources counter.v
 )
 
 add_interchange_test(
     name counter_arty
-    device xc7a50t
+    device xc7a35t
     package csg324
     tcl run.tcl
-    xdc counter.xdc
+    xdc counter_arty.xdc
     sources counter.v
 )
diff --git a/fpga_interchange/examples/tests/counter/counter_arty.xdc b/fpga_interchange/examples/tests/counter/counter_arty.xdc
new file mode 100644
index 00000000..c6873df5
--- /dev/null
+++ b/fpga_interchange/examples/tests/counter/counter_arty.xdc
@@ -0,0 +1,14 @@
+## basys3 breakout board
+set_property PACKAGE_PIN E3 [get_ports clk]
+set_property PACKAGE_PIN C2 [get_ports rst]
+set_property PACKAGE_PIN N15 [get_ports io_led[4]]
+set_property PACKAGE_PIN N16 [get_ports io_led[5]]
+set_property PACKAGE_PIN P17 [get_ports io_led[6]]
+set_property PACKAGE_PIN R17 [get_ports io_led[7]]
+
+set_property IOSTANDARD LVCMOS33 [get_ports clk]
+set_property IOSTANDARD LVCMOS33 [get_ports rst]
+set_property IOSTANDARD LVCMOS33 [get_ports io_led[4]]
+set_property IOSTANDARD LVCMOS33 [get_ports io_led[5]]
+set_property IOSTANDARD LVCMOS33 [get_ports io_led[6]]
+set_property IOSTANDARD LVCMOS33 [get_ports io_led[7]]
diff --git a/fpga_interchange/examples/tests/counter/counter.xdc b/fpga_interchange/examples/tests/counter/counter_basys3.xdc
index 7cbe67f6..09446b5f 100644
--- a/fpga_interchange/examples/tests/counter/counter.xdc
+++ b/fpga_interchange/examples/tests/counter/counter_basys3.xdc
@@ -1,10 +1,6 @@
 ## basys3 breakout board
 set_property PACKAGE_PIN W5 [get_ports clk]
 set_property PACKAGE_PIN V17 [get_ports rst]
-#set_property PACKAGE_PIN U16 [get_ports io_led[0]]
-#set_property PACKAGE_PIN E19 [get_ports io_led[1]]
-#set_property PACKAGE_PIN U19 [get_ports io_led[2]]
-#set_property PACKAGE_PIN V19 [get_ports io_led[3]]
 set_property PACKAGE_PIN U16 [get_ports io_led[4]]
 set_property PACKAGE_PIN E19 [get_ports io_led[5]]
 set_property PACKAGE_PIN U19 [get_ports io_led[6]]
@@ -16,7 +12,3 @@ set_property IOSTANDARD LVCMOS33 [get_ports io_led[4]]
 set_property IOSTANDARD LVCMOS33 [get_ports io_led[5]]
 set_property IOSTANDARD LVCMOS33 [get_ports io_led[6]]
 set_property IOSTANDARD LVCMOS33 [get_ports io_led[7]]
-#set_property IOSTANDARD LVCMOS33 [get_ports io_led[0]]
-#set_property IOSTANDARD LVCMOS33 [get_ports io_led[1]]
-#set_property IOSTANDARD LVCMOS33 [get_ports io_led[2]]
-#set_property IOSTANDARD LVCMOS33 [get_ports io_led[3]]
diff --git a/fpga_interchange/examples/tests/ff/CMakeLists.txt b/fpga_interchange/examples/tests/ff/CMakeLists.txt
index 30ae0417..953e6038 100644
--- a/fpga_interchange/examples/tests/ff/CMakeLists.txt
+++ b/fpga_interchange/examples/tests/ff/CMakeLists.txt
@@ -1,17 +1,17 @@
 add_interchange_test(
     name ff_basys3
-    device xc7a50t
+    device xc7a35t
     package cpg236
     tcl run.tcl
-    xdc ff.xdc
+    xdc ff_basys3.xdc
     sources ff.v
 )
 
 add_interchange_test(
     name ff_arty
-    device xc7a50t
+    device xc7a35t
     package csg324
     tcl run.tcl
-    xdc ff.xdc
+    xdc ff_arty.xdc
     sources ff.v
 )
diff --git a/fpga_interchange/examples/tests/ff/ff.xdc b/fpga_interchange/examples/tests/ff/ff_arty.xdc
index 3c132f1d..3c132f1d 100644
--- a/fpga_interchange/examples/tests/ff/ff.xdc
+++ b/fpga_interchange/examples/tests/ff/ff_arty.xdc
diff --git a/fpga_interchange/examples/tests/ff/ff_basys3.xdc b/fpga_interchange/examples/tests/ff/ff_basys3.xdc
new file mode 100644
index 00000000..ef65112a
--- /dev/null
+++ b/fpga_interchange/examples/tests/ff/ff_basys3.xdc
@@ -0,0 +1,9 @@
+set_property PACKAGE_PIN W5 [get_ports clk]
+set_property PACKAGE_PIN U16 [get_ports d]
+set_property PACKAGE_PIN E19 [get_ports r]
+set_property PACKAGE_PIN U19 [get_ports q]
+
+set_property IOSTANDARD LVCMOS33 [get_ports clk]
+set_property IOSTANDARD LVCMOS33 [get_ports d]
+set_property IOSTANDARD LVCMOS33 [get_ports r]
+set_property IOSTANDARD LVCMOS33 [get_ports q]
diff --git a/fpga_interchange/examples/tests/lut/CMakeLists.txt b/fpga_interchange/examples/tests/lut/CMakeLists.txt
index ac504351..47b6f389 100644
--- a/fpga_interchange/examples/tests/lut/CMakeLists.txt
+++ b/fpga_interchange/examples/tests/lut/CMakeLists.txt
@@ -1,17 +1,17 @@
 add_interchange_test(
     name lut_basys3
-    device xc7a50t
+    device xc7a35t
     package cpg236
     tcl run.tcl
-    xdc lut.xdc
+    xdc lut_basys3.xdc
     sources lut.v
 )
 
 add_interchange_test(
     name lut_arty
-    device xc7a50t
+    device xc7a35t
     package csg324
     tcl run.tcl
-    xdc lut.xdc
+    xdc lut_arty.xdc
     sources lut.v
 )
diff --git a/fpga_interchange/examples/tests/lut/lut.xdc b/fpga_interchange/examples/tests/lut/lut_arty.xdc
index 4f390f25..4f390f25 100644
--- a/fpga_interchange/examples/tests/lut/lut.xdc
+++ b/fpga_interchange/examples/tests/lut/lut_arty.xdc
diff --git a/fpga_interchange/examples/tests/lut/lut_basys3.xdc b/fpga_interchange/examples/tests/lut/lut_basys3.xdc
new file mode 100644
index 00000000..aef287ee
--- /dev/null
+++ b/fpga_interchange/examples/tests/lut/lut_basys3.xdc
@@ -0,0 +1,7 @@
+set_property PACKAGE_PIN V17 [get_ports i0]
+set_property PACKAGE_PIN V16 [get_ports i1]
+set_property PACKAGE_PIN U16 [get_ports o]
+
+set_property IOSTANDARD LVCMOS33 [get_ports i0]
+set_property IOSTANDARD LVCMOS33 [get_ports i1]
+set_property IOSTANDARD LVCMOS33 [get_ports o]
diff --git a/fpga_interchange/examples/tests/wire/CMakeLists.txt b/fpga_interchange/examples/tests/wire/CMakeLists.txt
index 1d3b36ac..9af3f0db 100644
--- a/fpga_interchange/examples/tests/wire/CMakeLists.txt
+++ b/fpga_interchange/examples/tests/wire/CMakeLists.txt
@@ -1,17 +1,17 @@
 add_interchange_test(
     name wire_basys3
-    device xc7a50t
+    device xc7a35t
     package cpg236
     tcl run.tcl
-    xdc wire.xdc
+    xdc wire_basys3.xdc
     sources wire.v
 )
 
 add_interchange_test(
     name wire_arty
-    device xc7a50t
+    device xc7a35t
     package csg324
     tcl run.tcl
-    xdc wire.xdc
+    xdc wire_arty.xdc
     sources wire.v
 )
diff --git a/fpga_interchange/examples/tests/wire/wire.xdc b/fpga_interchange/examples/tests/wire/wire_arty.xdc
index c923f0fc..c923f0fc 100644
--- a/fpga_interchange/examples/tests/wire/wire.xdc
+++ b/fpga_interchange/examples/tests/wire/wire_arty.xdc
diff --git a/fpga_interchange/examples/tests/wire/wire_basys3.xdc b/fpga_interchange/examples/tests/wire/wire_basys3.xdc
new file mode 100644
index 00000000..317d5acc
--- /dev/null
+++ b/fpga_interchange/examples/tests/wire/wire_basys3.xdc
@@ -0,0 +1,5 @@
+set_property PACKAGE_PIN V17 [get_ports i]
+set_property PACKAGE_PIN U16 [get_ports o]
+
+set_property IOSTANDARD LVCMOS33 [get_ports i]
+set_property IOSTANDARD LVCMOS33 [get_ports o]