[LTL] Deprecate disable intrinsic (backport #4237) (#4239)

* [LTL] Deprecate disable intrinsic (#4237)

(cherry picked from commit 9c61fdc)

# Conflicts:
#	build.sbt
#	src/main/scala/chisel3/ltl/LTL.scala

* Resolve backport conflicts

---------

Co-authored-by: Amelia Dobis <amelia.dobis@sifive.com>
Co-authored-by: Jack Koenig <koenig@sifive.com>
Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

build.sbt

@@ -67,7 +67,8 @@ lazy val warningSuppression = Seq(
     "msg=undefined in comment for method cf in class PrintableHelper:s",
     // This is deprecated for external users but not internal use
     "cat=deprecation&origin=firrtl\\.options\\.internal\\.WriteableCircuitAnnotation:s",
-    "cat=deprecation&origin=chisel3\\.util\\.experimental\\.BoringUtils.*:s"
+    "cat=deprecation&origin=chisel3\\.util\\.experimental\\.BoringUtils.*:s",
+    "cat=deprecation&origin=chisel3\\.ltl.*:s"
   ).mkString(",")
 )
 

src/main/scala/chisel3/ltl/LTL.scala

@@ -236,6 +236,7 @@ sealed trait Property {
   def clock(clock: Clock): Property = Property.clock(this, clock)
 
   /** See `Property.disable`. */
+  @deprecated("Use withDisable", "Chisel 6.5")
   def disable(cond: Disable): Property = Property.disable(this, cond)
 }
 
@@ -327,6 +328,7 @@ object Property {
     * condition is true at any time during the evaluation of the property, the
     * evaluation is aborted. Equivalent to `disable iff (cond) prop` in SVA.
     */
+  @deprecated("Use withDisable", "Chisel 6.5")
   def disable(prop: Property, cond: Disable): Property = {
     val ltl_disable = Instantiate(new LTLDisableIntrinsic)
     ltl_disable.in := prop.inner