From 429dd4fa609a5b8c71f8cd6ae6f8d74fd59f2280 Mon Sep 17 00:00:00 2001
From: Chat <63841542+chatrajaman3@users.noreply.github.com>
Date: Tue, 19 May 2026 01:31:06 -0700
Subject: Pass linter

  - simple_alu.sv: rename ports with suffixes (clk_i, rst_ni, a_i, b_i,
    sel_i, y_o, overflow_o); add default case to sel case statement;
    add y_next and overflow_next combinational signals; simplify
    always_ff to only register y_next and overflow_next
  - simple_alu_fv.sv: rename ports to match RTL (clk_i, rst_ni, a_i, b_i,
    sel_i, y_i, overflow_i); remove trailing spaces
  - simple_alu_top_fv.sv: rename ports; replace .* with explicit
    connections to match updated port names
  - simple_alu_bind.sv: add missing posix newline at EOF
---
 verif/formal/simple_alu/simple_alu_bind.sv | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(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
index b12e0eb..8ed7057 100644
--- a/verif/formal/simple_alu/simple_alu_bind.sv
+++ b/verif/formal/simple_alu/simple_alu_bind.sv
@@ -12,4 +12,4 @@ bind simple_alu simple_alu_fv u_simple_alu_fv (
     .sel      (sel),
     .y        (y),
     .overflow (overflow)
-);
\ No newline at end of file
+);
-- 
cgit v1.2.3