diff --git a/tests/arch/quicklogic/dspv2/complex_mult.ys b/tests/arch/quicklogic/dspv2/complex_mult.ys
new file mode 100644
index 000000000..8a44bbbbc
--- /dev/null
+++ b/tests/arch/quicklogic/dspv2/complex_mult.ys
@@ -0,0 +1,23 @@
+read_verilog <<EOF
+module top(input signed [16:0] ar, input signed [16:0] ai, input signed [16:0] br, input signed [16:0] bi, output reg signed [33:0] qr, output reg signed [33:0] qi, input clk);
+	reg signed [33:0] rr, ri, ir, ii;
+	always @(posedge clk) begin
+		rr <= ar * br;
+		ri <= ar * bi;
+		ir <= ai * br;
+		ii <= ai * bi;
+		qr <= rr - ii;
+		qi <= ir + ri;
+	end
+endmodule
+EOF
+
+synth_quicklogic -family qlf_k6n10f -run :coarse
+check -assert
+read_verilog +/quicklogic/qlf_k6n10f/dsp_sim.v
+prep -top top -flatten
+opt_clean -purge
+opt -full
+opt_clean -purge
+check -assert
+dump
diff --git a/tests/arch/quicklogic/dspv2/simple.ys b/tests/arch/quicklogic/dspv2/simple.ys
new file mode 100644
index 000000000..49f29511b
--- /dev/null
+++ b/tests/arch/quicklogic/dspv2/simple.ys
@@ -0,0 +1,17 @@
+read_verilog <<EOF
+module top(input [16:0] a, input [16:0] b, output reg [33:0] o, input clk, input [2:0] j);
+	reg [16:0] ar;
+	reg [16:0] br;
+
+	always @(posedge clk) begin
+		ar <= a;
+		br <= b;
+		o <= {ar * br, j};
+	end
+endmodule
+EOF
+
+synth_quicklogic -family qlf_k6n10f -run :coarse
+check
+opt_clean
+dump
diff --git a/tests/arch/quicklogic/dspv2/simple2.ys b/tests/arch/quicklogic/dspv2/simple2.ys
new file mode 100644
index 000000000..d6179e616
--- /dev/null
+++ b/tests/arch/quicklogic/dspv2/simple2.ys
@@ -0,0 +1,12 @@
+read_verilog <<EOF
+module top(input [16:0] a, input [16:0] b, input [16:0] c, input [16:0] d, output reg [33:0] o);
+	always @(*)
+		o <= (a * b) + (c * d);
+endmodule
+EOF
+
+synth_quicklogic -family qlf_k6n10f -run :coarse
+read_verilog +/quicklogic/qlf_k6n10f/dsp_sim.v
+prep -top top -flatten
+opt_clean -purge
+dump