1 files changed, 0 insertions, 38 deletions
diff --git a/picorv32/scripts/vivado/system_tb.v b/picorv32/scripts/vivado/system_tb.v
deleted file mode 100644
index a66d612..0000000
--- a/picorv32/scripts/vivado/system_tb.v
+++ /dev/null
@@ -1,38 +0,0 @@
-`timescale 1 ns / 1 ps
-
-module system_tb;
-	reg clk = 1;
-	always #5 clk = ~clk;
-
-	reg resetn = 0;
-	initial begin
-		if ($test$plusargs("vcd")) begin
-			$dumpfile("system.vcd");
-			$dumpvars(0, system_tb);
-		end
-		repeat (100) @(posedge clk);
-		resetn <= 1;
-	end
-
-	wire trap;
-	wire [7:0] out_byte;
-	wire out_byte_en;
-
-	system uut (
-		.clk        (clk        ),
-		.resetn     (resetn     ),
-		.trap       (trap       ),
-		.out_byte   (out_byte   ),
-		.out_byte_en(out_byte_en)
-	);
-
-	always @(posedge clk) begin
-		if (resetn && out_byte_en) begin
-			$write("%c", out_byte);
-			$fflush;
-		end
-		if (resetn && trap) begin
-			$finish;
-		end
-	end
-endmodule