aboutsummaryrefslogtreecommitdiffstats
path: root/tests
diff options
context:
space:
mode:
authorEddie Hung <eddie@fpgeh.com>2019-08-22 16:50:14 -0700
committerEddie Hung <eddie@fpgeh.com>2019-08-22 16:50:14 -0700
commit36cf0a3dd5a9599b60eb449a2401454e7a7af6fd (patch)
tree6efcfdc267207452078bc1899de12dd1c0b3527f /tests
parent698a0e3aafcae48535c68996fccf002c0e0e3aea (diff)
downloadyosys-36cf0a3dd5a9599b60eb449a2401454e7a7af6fd.tar.gz
yosys-36cf0a3dd5a9599b60eb449a2401454e7a7af6fd.tar.bz2
yosys-36cf0a3dd5a9599b60eb449a2401454e7a7af6fd.zip
Remove adffs_tb.v
Diffstat (limited to 'tests')
-rw-r--r--tests/ice40/adffs_tb.v75
1 files changed, 0 insertions, 75 deletions
diff --git a/tests/ice40/adffs_tb.v b/tests/ice40/adffs_tb.v
deleted file mode 100644
index e049edabc..000000000
--- a/tests/ice40/adffs_tb.v
+++ /dev/null
@@ -1,75 +0,0 @@
-module testbench;
- reg clk;
-
- initial begin
- // $dumpfile("testbench.vcd");
- // $dumpvars(0, testbench);
-
- #5 clk = 0;
- repeat (10000) begin
- #5 clk = 1;
- #5 clk = 0;
- end
-
- $display("OKAY");
- end
-
-
- reg [2:0] dinA = 0;
- wire doutB,doutB1,doutB2,doutB3,doutB4;
- reg dff,ndff,adff,adffn,dffe = 0;
-
- top uut (
- .clk (clk ),
- .a (dinA[0] ),
- .pre (dinA[1] ),
- .clr (dinA[2] ),
- .b (doutB ),
- .b1 (doutB1 ),
- .b2 (doutB2 )
- );
-
- always @(posedge clk) begin
- #3;
- dinA <= dinA + 1;
- end
-
- always @( posedge clk, posedge dinA[1], posedge dinA[2] )
- if ( dinA[2] )
- dff <= 1'b0;
- else if ( dinA[1] )
- dff <= 1'b1;
- else
- dff <= dinA[0];
-
- always @( negedge clk, negedge dinA[1], negedge dinA[2] )
- if ( !dinA[2] )
- ndff <= 1'b0;
- else if ( !dinA[1] )
- ndff <= 1'b1;
- else
- ndff <= dinA[0];
-
- always @( posedge clk, posedge dinA[2] )
- if ( dinA[2] )
- adff <= 1'b0;
- else
- adff <= dinA[0];
-
- always @( posedge clk, negedge dinA[2] )
- if ( !dinA[2] )
- adffn <= 1'b0;
- else
- adffn <= dinA[0];
-
- always @( posedge clk )
- if ( dinA[2] )
- dffe <= dinA[0];
-
- assert_dff dff_test(.clk(clk), .test(doutB), .pat(dff));
- assert_dff ndff_test(.clk(clk), .test(doutB1), .pat(ndff));
- assert_dff adff_test(.clk(clk), .test(doutB2), .pat(adff));
- //assert_dff adffn_test(.clk(clk), .test(doutB3), .pat(adffn));
- //assert_dff dffe_test(.clk(clk), .test(doutB4), .pat(dffe));
-
-endmodule