Remove unnecessary common.v(assertions for testbenches).
authorSergeyDegtyar <sndegtyar@gmail.com>
Fri, 30 Aug 2019 06:17:32 +0000 (09:17 +0300)
committerSergeyDegtyar <sndegtyar@gmail.com>
Fri, 30 Aug 2019 06:17:32 +0000 (09:17 +0300)
tests/ice40/common.v [deleted file]

diff --git a/tests/ice40/common.v b/tests/ice40/common.v
deleted file mode 100644 (file)
index 5446f08..0000000
+++ /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