ci: Add attosoc smoketest for ice40

Signed-off-by: David Shah <davey1576@gmail.com>

1 files changed, 32 insertions, 0 deletions

diff --git a/ice40/smoketest/attosoc/attosoc_tb.v b/ice40/smoketest/attosoc/attosoc_tb.v
new file mode 100644
index 00000000..65496fcd
--- /dev/null
+++ b/ice40/smoketest/attosoc/attosoc_tb.v
@@ -0,0 +1,32 @@
+module testbench();
+    integer out;
+	reg clk;
+
+	always #5 clk = (clk === 1'b0);
+
+	initial begin
+        out = $fopen("output.txt","w");
+		$dumpfile("testbench.vcd");
+		$dumpvars(0, testbench);
+
+		repeat (100) begin
+			repeat (256) @(posedge clk);
+			$display("+256 cycles");
+		end
+        $fclose(out);
+        #100;
+		$finish;
+	end
+
+	wire [7:0] led;
+
+	always @(led) begin
+		#1 $display("%b", led);
+        $fwrite(out, "%b\n", led);
+	end
+
+	attosoc uut (
+		.clk      (clk      ),
+		.led      (led      )
+	);
+endmodule