From adce21a91f4b55cad1126fa4d453b4d6eef79f7f Mon Sep 17 00:00:00 2001
From: Warrick Lo <wlo@warricklo.net>
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 <wlo@warricklo.net>
---
 verif/formal/simple_alu/simple_alu_bind.sv | 15 ---------------
 1 file changed, 15 deletions(-)
 delete mode 100644 verif/formal/simple_alu/simple_alu_bind.sv

(limited to 'verif/formal/simple_alu/simple_alu_bind.sv')

diff --git a/verif/formal/simple_alu/simple_alu_bind.sv b/verif/formal/simple_alu/simple_alu_bind.sv
deleted file mode 100644
index 8ed7057..0000000
--- a/verif/formal/simple_alu/simple_alu_bind.sv
+++ /dev/null
@@ -1,15 +0,0 @@
-// Bind file for simple_alu formal verification.
-// Attaches simple_alu_fv to every instance of simple_alu in the design.
-// RTL is completely unaware of this file.
-//
-// bind <dut_module> <fv_module> <instance_name> (<port_connections>);
-
-bind simple_alu simple_alu_fv u_simple_alu_fv (
-    .clk      (clk),
-    .rst      (rst),
-    .a        (a),
-    .b        (b),
-    .sel      (sel),
-    .y        (y),
-    .overflow (overflow)
-);
-- 
cgit v1.2.3