src/main/scala/chisel3/experimental/verification/package.scala


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51

// SPDX-License-Identifier: Apache-2.0

package chisel3.experimental

import chisel3.{Bool, CompileOptions}
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)
  }

  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)
  }

  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)
  }
}