1 files changed, 82 insertions, 0 deletions
diff --git a/tests/soc_measure_time/test.v b/tests/soc_measure_time/test.v
new file mode 100644
index 0000000..b4f1082
--- /dev/null
+++ b/tests/soc_measure_time/test.v
@@ -0,0 +1,82 @@
+`default_nettype none
+`timescale 1ns/1ns
+
+`include "messages.vh"
+
+`ifndef SIMULATION
+ `error_SIMULATION_not_defined
+; /* Cause syntax error */
+`endif
+
+module soc_test();
+   wire [9:0] image_writes;
+
+   reg 	      clock_100mhz;
+   reg 	      reset;
+
+   wire       led1;
+   wire       led2;
+
+   soc_with_peripherals
+     #(
+       .FONT_FILE("../../design/font.mem"),
+       .EMBEDDED_ROM_FILE("instructions.mem")
+       ) soc
+       (
+	.clock_100mhz(clock_100mhz),
+
+	.button1(!reset),
+	.button2(1'b1),
+
+	.led1(led1),
+	.led2(led2),
+
+	.image_writes(image_writes)
+	);
+
+   integer     i;
+   integer     current_time;
+
+   initial begin
+      reset <= 1;
+      clock_100mhz <= 0;
+
+      for (i = 0; i < 25_000; i++) begin
+	 #5;
+
+	 if (clock_100mhz)
+	   reset <= 0;
+
+	 clock_100mhz <= ~clock_100mhz;
+
+	 /*
+	  * Soc's clock is 12.5 MHz. One tick of that clock takes 80 ns.
+	  * This means 1000th, 2000th and 3000th ticks happen at
+	  * 80_000, 160_000 and 240_000 ns, respectively.
+	  */
+	 current_time = $time;
+	 if (current_time < 40_000) begin
+	    if (!led2) begin
+	       `MSG(("error: led2 on before 1000 timer ticks passed"));
+	       $finish;
+	    end
+	 end
+	 if (current_time > 50_000 && current_time < 80_000) begin
+	    if (led2) begin
+	       `MSG(("error: led2 not on, while it should be"));
+	       $finish;
+	    end
+	 end
+	 if (current_time > 130_000) begin
+	    if (!led2) begin
+	       `MSG(("error: led2 hasn't been switched off on time"));
+	       $finish;
+	    end
+	 end
+      end // for (i = 0; i < 12_500; i++)
+
+      if (led1)
+	`MSG(("error: stack machine in soc hasn't finished working in 125us"));
+      $finish;
+   end // initial begin
+endmodule // soc_test