From 6124133269c7ff7bc550064e116c1bcfcbb412bf Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Fri, 21 Jul 2017 16:56:15 +0200
Subject: Add icestick "checker" example

---
 examples/icestick/checker_tb.v | 40 ++++++++++++++++++++++++++++++++++++++++
 1 file changed, 40 insertions(+)
 create mode 100644 examples/icestick/checker_tb.v

(limited to 'examples/icestick/checker_tb.v')

diff --git a/examples/icestick/checker_tb.v b/examples/icestick/checker_tb.v
new file mode 100644
index 0000000..241c89e
--- /dev/null
+++ b/examples/icestick/checker_tb.v
@@ -0,0 +1,40 @@
+module testbench;
+	reg clk;
+	always #5 clk = (clk === 1'b0);
+
+	wire ok;
+
+	top uut (
+		.clk(clk),
+		.LED5(ok)
+	);
+
+	reg [4095:0] vcdfile;
+
+	initial begin
+		if ($value$plusargs("vcd=%s", vcdfile)) begin
+			$dumpfile(vcdfile);
+			$dumpvars(0, testbench);
+		end
+	end
+
+	initial begin
+		@(posedge ok);
+		@(negedge ok);
+		$display("ERROR: detected falling edge on OK pin!");
+		$stop;
+	end
+
+	initial begin
+		repeat (3000) @(posedge clk);
+
+		if (!ok) begin
+			$display("ERROR: OK pin not asserted after 3000 cycles!");
+			$stop;
+		end
+
+		repeat (10000) @(posedge clk);
+		$display("SUCCESS: OK pin still asserted after 10000 cycles.");
+		$finish;
+	end
+endmodule
-- 
cgit v1.2.3