diff options
author | SergeyDegtyar <sndegtyar@gmail.com> | 2019-08-27 18:28:05 +0300 |
---|---|---|
committer | SergeyDegtyar <sndegtyar@gmail.com> | 2019-08-27 18:28:05 +0300 |
commit | 980830f7b82f2a974f43580f61e917f99fbb4e7e (patch) | |
tree | ef4b9cfe86945794171527976315924faf99e157 /tests/ecp5/common.v | |
parent | 134d3fea909bae02f4f814e3d649658502b44b73 (diff) | |
download | yosys-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.v | 47 |
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 |