From 834c84f84dfc98019af9887219dfcf3bad5fac71 Mon Sep 17 00:00:00 2001
From: Gus Smith <guscomps@gmail.com>
Date: Tue, 2 Dec 2025 17:44:48 -0800
Subject: [PATCH] Add initial single SBY file

---
 tests/formal_witness_replay/config.sby | 34 ++++++++++++++++++++++++++
 1 file changed, 34 insertions(+)
 create mode 100644 tests/formal_witness_replay/config.sby

diff --git a/tests/formal_witness_replay/config.sby b/tests/formal_witness_replay/config.sby
new file mode 100644
index 000000000..620ed3502
--- /dev/null
+++ b/tests/formal_witness_replay/config.sby
@@ -0,0 +1,34 @@
+[tasks]
+stage_1_init
+stage_1_fv
+stage_2_init
+stage_2_fv
+
+[options]
+stage_1_init:
+mode prep
+expect unknown
+make_model prep
+
+stage_1_fv:
+mode cover
+depth 24
+
+[engines]
+stage_1_init stage_2_init:
+none
+
+stage_1_fv stage_2_fv: 
+smtbmc
+
+[script]
+stage_1_init:
+verific -formal dut.sv
+
+
+[files]
+stage_1_init: dut.sv
+
+stage_2_init:
+stage_1/engine_0/trace0.yw
+stage_1_init.il