From 21709e7f336b2d0a6885134336d392fe539b40ef Mon Sep 17 00:00:00 2001
From: Gus Smith <guscomps@gmail.com>
Date: Tue, 6 Jan 2026 10:38:03 -0800
Subject: [PATCH] Add tests

---
 tests/various/json_param_defaults.v  | 10 ++++++++++
 tests/various/json_param_defaults.ys |  8 ++++++++
 2 files changed, 18 insertions(+)
 create mode 100644 tests/various/json_param_defaults.v
 create mode 100644 tests/various/json_param_defaults.ys

diff --git a/tests/various/json_param_defaults.v b/tests/various/json_param_defaults.v
new file mode 100644
index 000000000..7d3b94a68
--- /dev/null
+++ b/tests/various/json_param_defaults.v
@@ -0,0 +1,10 @@
+module json_param_defaults #(
+	parameter WIDTH = 8,
+	parameter SIGNED = 1
+) (
+	input  [WIDTH-1:0] a,
+	output [WIDTH-1:0] y
+);
+	wire [WIDTH-1:0] y_int = a << SIGNED;
+	assign y = y_int;
+endmodule
diff --git a/tests/various/json_param_defaults.ys b/tests/various/json_param_defaults.ys
new file mode 100644
index 000000000..2624ab884
--- /dev/null
+++ b/tests/various/json_param_defaults.ys
@@ -0,0 +1,8 @@
+! mkdir -p temp
+read_verilog -sv json_param_defaults.v
+write_json temp/json_param_defaults.json
+design -reset
+read_json temp/json_param_defaults.json
+write_verilog -noattr temp/json_param_defaults.v
+! grep -qF "parameter WIDTH = 32'd8" temp/json_param_defaults.v
+! grep -qF "parameter SIGNED = 32'd1" temp/json_param_defaults.v