1 files changed, 29 insertions, 0 deletions
diff --git a/techlibs/ice40/tests/test_ffs.v b/techlibs/ice40/tests/test_ffs.v
new file mode 100644
index 000000000..3bef59fb3
--- /dev/null
+++ b/techlibs/ice40/tests/test_ffs.v
@@ -0,0 +1,29 @@
+module test(D, C, E, R, Q);
+	parameter [0:0] CLKPOL = 0;
+	parameter [0:0] ENABLE_EN = 0;
+	parameter [0:0] RESET_EN = 0;
+	parameter [0:0] RESET_VAL = 0;
+
+	(* gentb_clock *)
+	input D, C, E, R;
+
+	output Q;
+
+	wire gated_reset = R & RESET_EN;
+	wire gated_enable = E | ~ENABLE_EN;
+	reg posedge_q, negedge_q;
+
+	always @(posedge C, posedge gated_reset)
+		if (gated_reset)
+			posedge_q <= RESET_VAL;
+		else if (gated_enable)
+			posedge_q <= D;
+
+	always @(negedge C, posedge gated_reset)
+		if (gated_reset)
+			negedge_q <= RESET_VAL;
+		else if (gated_enable)
+			negedge_q <= D;
+
+	assign Q = CLKPOL ? posedge_q : negedge_q;
+endmodule