Merge pull request #575 from antmicro/umarcor/tests

Add HDL tests

.github/workflows/Action.yml

@@ -137,3 +137,81 @@ jobs:
           name: Action-SymbiFlow-eos-s3-Bitstream
           path: f4pga-examples/eos-s3/btn_counter/build/top.bit
           if-no-files-found: error
+
+
+  Test-Verilog:
+    runs-on: ubuntu-latest
+    name: 🎬 Verilog
+
+    steps:
+
+      - name: 🧰 Checkout
+        uses: actions/checkout@v3
+
+      - name: 🚧 F4PGA Action (arty_35 | verilog/counter)
+        uses: ./action
+        with:
+          image: xc7/a50t
+          cmd: |
+            cd test/verilog/counter
+            f4pga build --flow arty_35.json
+
+      - name: '📤 Upload artifact: Arty 35 bitstream'
+        uses: actions/upload-artifact@v3
+        with:
+          name: arty_35-Bitstream-Verilog-Counter
+          path: test/verilog/counter/top.bit
+
+
+  Test-VHDL:
+    runs-on: ubuntu-latest
+    name: 🎬 VHDL
+
+    steps:
+
+      - name: 🧰 Checkout
+        uses: actions/checkout@v3
+
+      - name: 🚧 GHDL synth
+        run: make -C test/vhdl/counter synth
+
+      - name: 🚧 F4PGA Action (arty_35 | vhdl/counter)
+        uses: ./action
+        with:
+          image: xc7/a50t
+          cmd: |
+            cd test/vhdl/counter
+            f4pga build --flow arty_35.json
+
+      - name: '📤 Upload artifact: Arty 35 bitstream'
+        uses: actions/upload-artifact@v3
+        with:
+          name: arty_35-Bitstream-VHDL-Counter
+          path: test/vhdl/counter/top.bit
+
+
+  Test-VHDL-plugin:
+    runs-on: ubuntu-latest
+    name: 🎬 VHDL-plugin
+
+    steps:
+
+      - name: 🧰 Checkout
+        uses: actions/checkout@v3
+
+      - name: 🚧 GHDL synth
+        run: make -C test/vhdl/counter synth-plugin
+
+      - name: 🚧 F4PGA Action (arty_35 | vhdl/counter)
+        uses: ./action
+        with:
+          image: xc7/a50t
+          cmd: |
+            cd test/vhdl/counter
+            f4pga build --flow arty_35.json
+
+      - name: '📤 Upload artifact: Arty 35 bitstream'
+        uses: actions/upload-artifact@v3
+        with:
+          name: arty_35-Bitstream-VHDL-plugin-Counter
+          path: test/vhdl/counter/top.bit

test/constraints/arty.xdc

@@ -0,0 +1,32 @@
+# Copyright (C) 2020-2022 F4PGA Authors.
+#
+# Licensed under the Apache License, Version 2.0 (the "License");
+# you may not use this file except in compliance with the License.
+# You may obtain a copy of the License at
+#
+#     https://www.apache.org/licenses/LICENSE-2.0
+#
+# Unless required by applicable law or agreed to in writing, software
+# distributed under the License is distributed on an "AS IS" BASIS,
+# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+# See the License for the specific language governing permissions and
+# limitations under the License.
+#
+# SPDX-License-Identifier: Apache-2.0
+
+# Clock pin
+set_property PACKAGE_PIN E3 [get_ports {CLK}]
+set_property IOSTANDARD LVCMOS33 [get_ports {CLK}]
+
+# LEDs
+set_property PACKAGE_PIN H5  [get_ports {LEDs[0]}]
+set_property PACKAGE_PIN J5  [get_ports {LEDs[1]}]
+set_property PACKAGE_PIN T9  [get_ports {LEDs[2]}]
+set_property PACKAGE_PIN T10 [get_ports {LEDs[3]}]
+set_property IOSTANDARD LVCMOS33 [get_ports {LEDs[0]}]
+set_property IOSTANDARD LVCMOS33 [get_ports {LEDs[1]}]
+set_property IOSTANDARD LVCMOS33 [get_ports {LEDs[2]}]
+set_property IOSTANDARD LVCMOS33 [get_ports {LEDs[3]}]
+
+# Clock constraints
+create_clock -period 10.0 [get_ports {CLK}]

test/verilog/counter/arty_35.json

@@ -0,0 +1,25 @@
+{
+    "default_part": "XC7A35TCSG324-1",
+    "values": {
+        "top": "top"
+    },
+    "dependencies": {
+        "sources": [
+            "counter.v"
+        ],
+        "synth_log": "synth.log",
+        "pack_log": "pack.log"
+    },
+    "XC7A35TCSG324-1": {
+        "default_target": "bitstream",
+        "dependencies": {
+            "build_dir": "build/arty_35",
+            "xdc": [
+                "../../constraints/arty.xdc"
+            ]
+        },
+        "values": {
+            "part": "xc7a35tcpg236-1"
+        }
+    }
+}

test/verilog/counter/counter.v

@@ -0,0 +1,40 @@
+/*
+* Copyright (C) 2020-2022 F4PGA Authors.
+*
+* Licensed under the Apache License, Version 2.0 (the "License");
+* you may not use this file except in compliance with the License.
+* You may obtain a copy of the License at
+*
+*     https://www.apache.org/licenses/LICENSE-2.0
+*
+* Unless required by applicable law or agreed to in writing, software
+* distributed under the License is distributed on an "AS IS" BASIS,
+* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+* See the License for the specific language governing permissions and
+* limitations under the License.
+*
+* SPDX-License-Identifier: Apache-2.0
+*/
+
+module top (
+    input CLK,
+    output [3:0] LEDs
+);
+
+  localparam BITS = 4;
+  localparam LOG2DELAY = 22;
+
+  wire bufg;
+  BUFG bufgctrl (
+      .I(CLK),
+      .O(bufg)
+  );
+
+  reg [BITS+LOG2DELAY-1:0] counter = 0;
+
+  always @(posedge bufg) begin
+    counter <= counter + 1;
+  end
+
+  assign LEDs[3:0] = counter >> LOG2DELAY;
+endmodule

test/vhdl/counter/.gitignore

@@ -0,0 +1 @@
+top.v

test/vhdl/counter/Makefile

@@ -0,0 +1,27 @@
+# Copyright (C) 2020-2022 F4PGA Authors.
+#
+# Licensed under the Apache License, Version 2.0 (the "License");
+# you may not use this file except in compliance with the License.
+# You may obtain a copy of the License at
+#
+#     https://www.apache.org/licenses/LICENSE-2.0
+#
+# Unless required by applicable law or agreed to in writing, software
+# distributed under the License is distributed on an "AS IS" BASIS,
+# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+# See the License for the specific language governing permissions and
+# limitations under the License.
+#
+# SPDX-License-Identifier: Apache-2.0
+
+synth:
+	docker run --rm \
+	-v /$(shell pwd)://wrk -w //wrk \
+	gcr.io/hdl-containers/ghdl \
+	ghdl synth --std=08 --out=verilog counter.vhd -e Arty_Counter > Arty_Counter.v
+
+synth-plugin:
+	docker run --rm \
+	-v /$(shell pwd)://wrk -w //wrk \
+	gcr.io/hdl-containers/ghdl/yosys \
+	yosys -m ghdl -p 'ghdl --std=08 counter.vhd -e Arty_Counter; write_verilog Arty_Counter.v'

test/vhdl/counter/arty_35.json

@@ -0,0 +1,25 @@
+{
+    "default_part": "XC7A35TCSG324-1",
+    "values": {
+        "top": "Arty_Counter"
+    },
+    "dependencies": {
+        "sources": [
+            "Arty_Counter.v"
+        ],
+        "synth_log": "synth.log",
+        "pack_log": "pack.log"
+    },
+    "XC7A35TCSG324-1": {
+        "default_target": "bitstream",
+        "dependencies": {
+            "build_dir": "build/arty_35",
+            "xdc": [
+                "../../constraints/arty.xdc"
+            ]
+        },
+        "values": {
+            "part": "xc7a35tcpg236-1"
+        }
+    }
+}

test/vhdl/counter/counter.vhd

@@ -0,0 +1,41 @@
+-- Copyright (C) 2020-2022 F4PGA Authors.
+--
+-- Licensed under the Apache License, Version 2.0 (the "License");
+-- you may not use this file except in compliance with the License.
+-- You may obtain a copy of the License at
+--
+--     https://www.apache.org/licenses/LICENSE-2.0
+--
+-- Unless required by applicable law or agreed to in writing, software
+-- distributed under the License is distributed on an "AS IS" BASIS,
+-- WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+-- See the License for the specific language governing permissions and
+-- limitations under the License.
+--
+-- SPDX-License-Identifier: Apache-2.0
+
+library ieee;
+context ieee.ieee_std_context;
+
+entity Arty_Counter is
+  port (
+    CLK : in  std_logic;
+    LEDs : out std_logic_vector(3 downto 0)
+  );
+end;
+
+architecture arch of Arty_Counter is
+
+  constant LOG2DELAY : natural := 22;
+
+  signal counter : unsigned(LEDs'length+LOG2DELAY-1 downto 0) := (others=>'0');
+
+begin
+
+  process (CLK) begin
+    counter <= counter + 1 when rising_edge(CLK);
+  end process;
+
+  LEDs <= std_logic_vector(resize(shift_right(counter, LOG2DELAY), LEDs'length));
+
+end;