From adce21a91f4b55cad1126fa4d453b4d6eef79f7f Mon Sep 17 00:00:00 2001 From: Warrick Lo Date: Wed, 24 Jun 2026 07:58:06 +0000 Subject: Add CI pipeline for formal verification * Add formal verification tests with sby to CI * Fix reviewdog having insufficient API permissions See-also: #15 Signed-off-by: Warrick Lo --- verif/formal/regfile/regfile.sby | 23 ----------------------- 1 file changed, 23 deletions(-) delete mode 100644 verif/formal/regfile/regfile.sby (limited to 'verif/formal/regfile/regfile.sby') diff --git a/verif/formal/regfile/regfile.sby b/verif/formal/regfile/regfile.sby deleted file mode 100644 index 69cb7b9..0000000 --- a/verif/formal/regfile/regfile.sby +++ /dev/null @@ -1,23 +0,0 @@ -[tasks] -cover -prove - -[options] -cover: mode cover -prove: mode prove -prove: depth 20 - -[engines] -smtbmc - -[script] -read -formal -sv config_pkg.sv -read -formal -sv regfile.sv -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_fv.sv -- cgit v1.2.3