chisel6.4.0 < Back


# Packages

-  package root
  Definition Classes
    root
-  package chisel3

  This package contains the main chisel3 API.

  This package contains the main chisel3 API.

  Definition Classes
    root
-  package ltl
  Definition Classes
    chisel3
- AssertProperty
- AssertPropertyLike
- AssumeProperty
- CoverProperty
- Delay
- Property
- Sequence
- SequenceAtom

o

chisel3.ltl

# AssertProperty

###

#### object AssertProperty extends AssertPropertyLike

Assert that a property holds.

Use like `AssertProperty(p)`. See `AssertPropertyLike.apply` for optional clock, disable_iff, and label parameters.

Source
  LTL.scala

Linear Supertypes
AssertPropertyLike, AnyRef, Any

Ordering

1. Alphabetic
2. By Inheritance

Inherited

1. AssertProperty
2. AssertPropertyLike
3. AnyRef
4. Any

1. Hide All
2. Show All

Visibility

1. Public
2. Protected

### Value Members

1.  final def !=(arg0: Any): Boolean
   Definition Classes
     AnyRef → Any
2.  final def ##: Int
   Definition Classes
     AnyRef → Any
3.  final def ==(arg0: Any): Boolean
   Definition Classes
     AnyRef → Any
4.  def apply(cond: Bool, clock: Clock, disable: Disable, label: String): Unit

   Assert, assume, or cover that a boolean predicate holds.

   Assert, assume, or cover that a boolean predicate holds.

   Definition Classes
     AssertPropertyLike
5.  def apply(cond: Bool, label: String): Unit

   Assert, assume, or cover that a boolean predicate holds.

   Assert, assume, or cover that a boolean predicate holds.

   Definition Classes
     AssertPropertyLike
6.  def apply(cond: Bool): Unit

   Assert, assume, or cover that a boolean predicate holds.

   Assert, assume, or cover that a boolean predicate holds.

   Definition Classes
     AssertPropertyLike
7.  def apply(prop: Property, clock: Option[Clock] = Module.clockOption, disable: Option[Disable] = Module.disableOption, label: Option[String] = None): Unit

   Assert, assume, or cover that a property holds.

   Assert, assume, or cover that a property holds.

   clock

     [optional]: specifies a clock with respect to which all cycle delays in the property are expressed. This is a shorthand for `prop.clock(clock)`.

   disable

     [optional]: specifies a condition under which the evaluation of the property is disabled. This is a shorthand for `prop.disable(disable)`.

   label

     [optional]: is used to assign a name to the assert, assume, or cover construct in the output language. In SystemVerilog, this is emitted as `label: assert(...)`.

   Definition Classes
     AssertPropertyLike
8.  final def asInstanceOf[T0]: T0
   Definition Classes
     Any
9.  def clone(): AnyRef
   Attributes
     protected[lang]
   Definition Classes
     AnyRef
   Annotations
     @throws(classOf[java.lang.CloneNotSupportedException]) @native()
10.  final def eq(arg0: AnyRef): Boolean
    Definition Classes
      AnyRef
11.  def equals(arg0: AnyRef): Boolean
    Definition Classes
      AnyRef → Any
12.  def finalize(): Unit
    Attributes
      protected[lang]
    Definition Classes
      AnyRef
    Annotations
      @throws(classOf[java.lang.Throwable])
13.  final def getClass(): Class[_ <: AnyRef]
    Definition Classes
      AnyRef → Any
    Annotations
      @native()
14.  def hashCode(): Int
    Definition Classes
      AnyRef → Any
    Annotations
      @native()
15.  final def isInstanceOf[T0]: Boolean
    Definition Classes
      Any
16.  final def ne(arg0: AnyRef): Boolean
    Definition Classes
      AnyRef
17.  final def notify(): Unit
    Definition Classes
      AnyRef
    Annotations
      @native()
18.  final def notifyAll(): Unit
    Definition Classes
      AnyRef
    Annotations
      @native()
19.  final def synchronized[T0](arg0: => T0): T0
    Definition Classes
      AnyRef
20.  def toString(): String
    Definition Classes
      AnyRef → Any
21.  final def wait(): Unit
    Definition Classes
      AnyRef
    Annotations
      @throws(classOf[java.lang.InterruptedException])
22.  final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
      AnyRef
    Annotations
      @throws(classOf[java.lang.InterruptedException])
23.  final def wait(arg0: Long): Unit
    Definition Classes
      AnyRef
    Annotations
      @throws(classOf[java.lang.InterruptedException]) @native()

### Deprecated Value Members

1.  def createIntrinsic(label: Option[String]): Instance[VerifAssertLikeIntrinsic]
   Definition Classes
     AssertProperty → AssertPropertyLike
   Annotations
     @deprecated
   Deprecated

     (Since version Chisel 6.4) This API should never have been public

### Inherited from AssertPropertyLike

### Inherited from AnyRef

### Inherited from Any

### Ungrouped