diff options
| author | Warrick Lo <wlo@warricklo.net> | 2026-06-20 04:50:19 -0700 |
|---|---|---|
| committer | Warrick Lo <wlo@warricklo.net> | 2026-06-20 04:50:19 -0700 |
| commit | c348e393521750d8dd6d7ba57bd91e4b935dbbd7 (patch) | |
| tree | bf73f64d249190c21f3c35f66149a54e91618b07 /verif/formal/regfile/regfile.sby | |
| parent | Add formal verification for regfile (diff) | |
| download | montreal-c348e393521750d8dd6d7ba57bd91e4b935dbbd7.tar.xz montreal-c348e393521750d8dd6d7ba57bd91e4b935dbbd7.zip | |
Minor refactor to regfile formal test modulefeature/core
Signed-off-by: Warrick Lo <wlo@warricklo.net>
Diffstat (limited to 'verif/formal/regfile/regfile.sby')
| -rw-r--r-- | verif/formal/regfile/regfile.sby | 6 |
1 files changed, 3 insertions, 3 deletions
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 |