From c348e393521750d8dd6d7ba57bd91e4b935dbbd7 Mon Sep 17 00:00:00 2001 From: Warrick Lo Date: Sat, 20 Jun 2026 04:50:19 -0700 Subject: Minor refactor to regfile formal test module Signed-off-by: Warrick Lo --- verif/formal/regfile/regfile.sby | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'verif/formal/regfile/regfile.sby') diff --git a/verif/formal/regfile/regfile.sby b/verif/formal/regfile/regfile.sby index 89f8884..69cb7b9 100644 --- a/verif/formal/regfile/regfile.sby +++ b/verif/formal/regfile/regfile.sby @@ -13,11 +13,11 @@ smtbmc [script] read -formal -sv config_pkg.sv read -formal -sv regfile.sv -read -formal -sv regfile_ind.sv -prep -top regfile_ind +read -formal -sv regfile_fv.sv +prep -top regfile_fv [files] rtl/types.svh rtl/config_pkg.sv rtl/regfile.sv -verif/formal/regfile/regfile_ind.sv +verif/formal/regfile/regfile_fv.sv -- cgit v1.2.3