aboutsummaryrefslogtreecommitdiffstats
path: root/tests/ecp5/common.v
diff options
context:
space:
mode:
authorSergeyDegtyar <sndegtyar@gmail.com>2019-08-27 18:28:05 +0300
committerSergeyDegtyar <sndegtyar@gmail.com>2019-08-27 18:28:05 +0300
commit980830f7b82f2a974f43580f61e917f99fbb4e7e (patch)
treeef4b9cfe86945794171527976315924faf99e157 /tests/ecp5/common.v
parent134d3fea909bae02f4f814e3d649658502b44b73 (diff)
downloadyosys-980830f7b82f2a974f43580f61e917f99fbb4e7e.tar.gz
yosys-980830f7b82f2a974f43580f61e917f99fbb4e7e.tar.bz2
yosys-980830f7b82f2a974f43580f61e917f99fbb4e7e.zip
Revert "Add tests for ecp5 architecture."
This reverts commit 134d3fea909bae02f4f814e3d649658502b44b73.
Diffstat (limited to 'tests/ecp5/common.v')
-rw-r--r--tests/ecp5/common.v47
1 files changed, 0 insertions, 47 deletions
diff --git a/tests/ecp5/common.v b/tests/ecp5/common.v
deleted file mode 100644
index 5446f0817..000000000
--- a/tests/ecp5/common.v
+++ /dev/null
@@ -1,47 +0,0 @@
-module assert_dff(input clk, input test, input pat);
- always @(posedge clk)
- begin
- #1;
- if (test != pat)
- begin
- $display("ERROR: ASSERTION FAILED in %m:",$time);
- $stop;
- end
- end
-endmodule
-
-module assert_tri(input en, input A, input B);
- always @(posedge en)
- begin
- #1;
- if (A !== B)
- begin
- $display("ERROR: ASSERTION FAILED in %m:",$time," ",A," ",B);
- $stop;
- end
- end
-endmodule
-
-module assert_Z(input clk, input A);
- always @(posedge clk)
- begin
- #1;
- if (A === 1'bZ)
- begin
- $display("ERROR: ASSERTION FAILED in %m:",$time," ",A);
- $stop;
- end
- end
-endmodule
-
-module assert_comb(input A, input B);
- always @(*)
- begin
- #1;
- if (A !== B)
- begin
- $display("ERROR: ASSERTION FAILED in %m:",$time," ",A," ",B);
- $stop;
- end
- end
-endmodule