From 4a4d75df6a5411df5b3d610a620bbc45d972e978 Mon Sep 17 00:00:00 2001 From: Gus Smith Date: Mon, 29 Dec 2025 09:07:24 -0800 Subject: [PATCH] We still need to run the actual prep pass --- tests/staged_sim_and_verif/skip_staged_flow.sby | 1 + 1 file changed, 1 insertion(+) diff --git a/tests/staged_sim_and_verif/skip_staged_flow.sby b/tests/staged_sim_and_verif/skip_staged_flow.sby index 03f7001..9fef0fc 100644 --- a/tests/staged_sim_and_verif/skip_staged_flow.sby +++ b/tests/staged_sim_and_verif/skip_staged_flow.sby @@ -23,6 +23,7 @@ fv: smtbmc stage_1_init: verific -formal Req_Ack.sv hierarchy -top DUT +prep stage_1_fv: read_rtlil design_prep.il