diff options
author | SergeyDegtyar <sndegtyar@gmail.com> | 2019-08-30 09:17:32 +0300 |
---|---|---|
committer | SergeyDegtyar <sndegtyar@gmail.com> | 2019-08-30 09:17:32 +0300 |
commit | eb0a5b2293d005d3a6a2d680b40f1449a489204d (patch) | |
tree | 91f06dc3929c0f618fb6a01266d41c6e2b099593 | |
parent | 8e3abda19308bd4ac7e03d38f899831e853f4794 (diff) | |
download | yosys-eb0a5b2293d005d3a6a2d680b40f1449a489204d.tar.gz yosys-eb0a5b2293d005d3a6a2d680b40f1449a489204d.tar.bz2 yosys-eb0a5b2293d005d3a6a2d680b40f1449a489204d.zip |
Remove unnecessary common.v(assertions for testbenches).
-rw-r--r-- | tests/ice40/common.v | 47 |
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 |