summaryrefslogtreecommitdiff
path: root/src/main/scala/chisel3/experimental/verification
diff options
context:
space:
mode:
authorJack2022-01-12 04:27:19 +0000
committerJack2022-01-12 04:27:19 +0000
commit29df513e348cc809876893f650af8180f0190496 (patch)
tree06daaea954b4e5af7113f06e4bdbb78b33515cb3 /src/main/scala/chisel3/experimental/verification
parent5242ce90659decb9058ee75db56e5c188029fbf9 (diff)
parent747d16311bdf185d2e98e452b14cb5d8ccca004c (diff)
Merge branch 'master' into 3.5-release
Diffstat (limited to 'src/main/scala/chisel3/experimental/verification')
-rw-r--r--src/main/scala/chisel3/experimental/verification/package.scala42
1 files changed, 33 insertions, 9 deletions
diff --git a/src/main/scala/chisel3/experimental/verification/package.scala b/src/main/scala/chisel3/experimental/verification/package.scala
index a026542d..1cedb8da 100644
--- a/src/main/scala/chisel3/experimental/verification/package.scala
+++ b/src/main/scala/chisel3/experimental/verification/package.scala
@@ -8,20 +8,44 @@ import chisel3.internal.sourceinfo.SourceInfo
package object verification {
object assert {
- @deprecated("Please use chisel3.assert instead. The chisel3.experimental.verification package will be removed.", "Chisel 3.5")
- def apply(predicate: Bool, msg: String = "")
- (implicit sourceInfo: SourceInfo, compileOptions: CompileOptions): chisel3.assert.Assert = chisel3.assert(predicate, msg)
+ @deprecated(
+ "Please use chisel3.assert instead. The chisel3.experimental.verification package will be removed.",
+ "Chisel 3.5"
+ )
+ def apply(
+ predicate: Bool,
+ msg: String = ""
+ )(
+ implicit sourceInfo: SourceInfo,
+ compileOptions: CompileOptions
+ ): chisel3.assert.Assert = chisel3.assert(predicate, msg)
}
object assume {
- @deprecated("Please use chisel3.assume instead. The chisel3.experimental.verification package will be removed.", "Chisel 3.5")
- def apply(predicate: Bool, msg: String = "")
- (implicit sourceInfo: SourceInfo, compileOptions: CompileOptions): chisel3.assume.Assume = chisel3.assume(predicate, msg)
+ @deprecated(
+ "Please use chisel3.assume instead. The chisel3.experimental.verification package will be removed.",
+ "Chisel 3.5"
+ )
+ def apply(
+ predicate: Bool,
+ msg: String = ""
+ )(
+ implicit sourceInfo: SourceInfo,
+ compileOptions: CompileOptions
+ ): chisel3.assume.Assume = chisel3.assume(predicate, msg)
}
object cover {
- @deprecated("Please use chisel3.cover instead. The chisel3.experimental.verification package will be removed.", "Chisel 3.5")
- def apply(predicate: Bool, msg: String = "")
- (implicit sourceInfo: SourceInfo, compileOptions: CompileOptions): chisel3.cover.Cover = chisel3.cover(predicate, msg)
+ @deprecated(
+ "Please use chisel3.cover instead. The chisel3.experimental.verification package will be removed.",
+ "Chisel 3.5"
+ )
+ def apply(
+ predicate: Bool,
+ msg: String = ""
+ )(
+ implicit sourceInfo: SourceInfo,
+ compileOptions: CompileOptions
+ ): chisel3.cover.Cover = chisel3.cover(predicate, msg)
}
}