From 85a1a9216f0c92749810203437f20f348642970c Mon Sep 17 00:00:00 2001
From: Aditya Naik <aditya.naik@sifive.com>
Date: Thu, 16 Oct 2025 13:50:16 -0700
Subject: [PATCH] Add missing implies for BitsIntf

---
 core/src/main/scala-3/chisel3/BitsIntf.scala | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/core/src/main/scala-3/chisel3/BitsIntf.scala b/core/src/main/scala-3/chisel3/BitsIntf.scala
index 4f911871555..9bccb291464 100644
--- a/core/src/main/scala-3/chisel3/BitsIntf.scala
+++ b/core/src/main/scala-3/chisel3/BitsIntf.scala
@@ -597,4 +597,11 @@ private[chisel3] trait BoolIntf extends ToBoolable { self: Bool =>
   def asClock(using SourceInfo): Clock = _asClockImpl
 
   def asAsyncReset(using SourceInfo): AsyncReset = _asAsyncResetImpl
+
+  /** Logical implication
+    *
+    * @param that a boolean signal
+    * @return [[!this || that]]
+    */
+  def implies(that: Bool): Bool = (!this) | that
 }