aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorSergeyDegtyar <sndegtyar@gmail.com>2019-08-30 09:17:32 +0300
committerSergeyDegtyar <sndegtyar@gmail.com>2019-08-30 09:17:32 +0300
commiteb0a5b2293d005d3a6a2d680b40f1449a489204d (patch)
tree91f06dc3929c0f618fb6a01266d41c6e2b099593
parent8e3abda19308bd4ac7e03d38f899831e853f4794 (diff)
downloadyosys-eb0a5b2293d005d3a6a2d680b40f1449a489204d.tar.gz
yosys-eb0a5b2293d005d3a6a2d680b40f1449a489204d.tar.bz2
yosys-eb0a5b2293d005d3a6a2d680b40f1449a489204d.zip
Remove unnecessary common.v(assertions for testbenches).
-rw-r--r--tests/ice40/common.v47
1 files changed, 0 insertions, 47 deletions
diff --git a/tests/ice40/common.v b/tests/ice40/common.v
deleted file mode 100644
index 5446f0817..000000000
--- a/tests/ice40/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