From 6042ae0e8a18b1707a388b21630c1d819ea728d2 Mon Sep 17 00:00:00 2001
From: "Emil J. Tywoniak" <emil@tywoniak.eu>
Date: Tue, 12 Aug 2025 12:59:31 +0200
Subject: [PATCH] simplify: add smoke test for system function calls

---
 tests/verilog/fcall_smoke.ys | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100644 tests/verilog/fcall_smoke.ys

diff --git a/tests/verilog/fcall_smoke.ys b/tests/verilog/fcall_smoke.ys
new file mode 100644
index 000000000..a878e76f6
--- /dev/null
+++ b/tests/verilog/fcall_smoke.ys
@@ -0,0 +1,15 @@
+read_verilog -sv <<EOT
+module smoke_initstate (
+	input resetn,
+    input clk,
+    input a
+);
+    always @(posedge clk) begin
+        assert property ($stable(a));
+        assert property ($changed(a));
+        assert property ($rose(a));
+        assert property ($fell(a));
+		assume(resetn == !$initstate);
+	end
+endmodule
+EOT