From 2d90269229a0a5f80011e37ca98d28903bfeb2fc Mon Sep 17 00:00:00 2001 From: Unai Martinez-Corral Date: Thu, 9 Jun 2022 01:24:55 +0200 Subject: [PATCH] add HDL tests Signed-off-by: Unai Martinez-Corral --- .github/workflows/Action.yml | 78 +++++++++++++++++++++++++++++++ test/constraints/arty.xdc | 32 +++++++++++++ test/verilog/counter/arty_35.json | 25 ++++++++++ test/verilog/counter/counter.v | 40 ++++++++++++++++ test/vhdl/counter/.gitignore | 1 + test/vhdl/counter/Makefile | 27 +++++++++++ test/vhdl/counter/arty_35.json | 25 ++++++++++ test/vhdl/counter/counter.vhd | 41 ++++++++++++++++ 8 files changed, 269 insertions(+) create mode 100644 test/constraints/arty.xdc create mode 100644 test/verilog/counter/arty_35.json create mode 100644 test/verilog/counter/counter.v create mode 100644 test/vhdl/counter/.gitignore create mode 100644 test/vhdl/counter/Makefile create mode 100644 test/vhdl/counter/arty_35.json create mode 100644 test/vhdl/counter/counter.vhd diff --git a/.github/workflows/Action.yml b/.github/workflows/Action.yml index 4a805ac..2b7524f 100644 --- a/.github/workflows/Action.yml +++ b/.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 diff --git a/test/constraints/arty.xdc b/test/constraints/arty.xdc new file mode 100644 index 0000000..64da3a6 --- /dev/null +++ b/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}] diff --git a/test/verilog/counter/arty_35.json b/test/verilog/counter/arty_35.json new file mode 100644 index 0000000..0115731 --- /dev/null +++ b/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" + } + } +} diff --git a/test/verilog/counter/counter.v b/test/verilog/counter/counter.v new file mode 100644 index 0000000..d435d1a --- /dev/null +++ b/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 diff --git a/test/vhdl/counter/.gitignore b/test/vhdl/counter/.gitignore new file mode 100644 index 0000000..b6abe38 --- /dev/null +++ b/test/vhdl/counter/.gitignore @@ -0,0 +1 @@ +top.v diff --git a/test/vhdl/counter/Makefile b/test/vhdl/counter/Makefile new file mode 100644 index 0000000..5502dbf --- /dev/null +++ b/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' diff --git a/test/vhdl/counter/arty_35.json b/test/vhdl/counter/arty_35.json new file mode 100644 index 0000000..729ec3a --- /dev/null +++ b/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" + } + } +} diff --git a/test/vhdl/counter/counter.vhd b/test/vhdl/counter/counter.vhd new file mode 100644 index 0000000..cc91b0f --- /dev/null +++ b/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;