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/simple_alu/simple_alu.sby | 22 ---------------------- 1 file changed, 22 deletions(-) delete mode 100644 verif/formal/simple_alu/simple_alu.sby (limited to 'verif/formal/simple_alu/simple_alu.sby') diff --git a/verif/formal/simple_alu/simple_alu.sby b/verif/formal/simple_alu/simple_alu.sby deleted file mode 100644 index cd028d9..0000000 --- a/verif/formal/simple_alu/simple_alu.sby +++ /dev/null @@ -1,22 +0,0 @@ -[tasks] -bmc -cover - -[options] -bmc: mode bmc -cover: mode cover -depth 100 - -[engines] -smtbmc - -[script] -read -formal -sv simple_alu.sv -read -formal -sv simple_alu_fv.sv -read -formal -sv simple_alu_top_fv.sv -prep -top simple_alu_top_fv - -[files] -../../../rtl/simple_alu.sv -simple_alu_fv.sv -simple_alu_top_fv.sv -- cgit v1.2.3