Packages

o

chisel3

assert

object assert

Source
VerificationStatement.scala
Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. assert
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. final class Assert extends VerificationStatement

    Named class for assertions.

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 _applyMacroWithMessage(c: Context)(cond: scala.reflect.macros.blackbox.Context.Tree, message: scala.reflect.macros.blackbox.Context.Tree, data: scala.reflect.macros.blackbox.Context.Tree*)(sourceInfo: scala.reflect.macros.blackbox.Context.Tree, compileOptions: scala.reflect.macros.blackbox.Context.Tree): scala.reflect.macros.blackbox.Context.Tree
  5. def _applyMacroWithNoMessage(c: Context)(cond: scala.reflect.macros.blackbox.Context.Tree)(sourceInfo: scala.reflect.macros.blackbox.Context.Tree, compileOptions: scala.reflect.macros.blackbox.Context.Tree): scala.reflect.macros.blackbox.Context.Tree
  6. def _applyWithSourceLine(cond: Bool, line: SourceLineInfo, message: Option[String], data: Bits*)(implicit sourceInfo: SourceInfo, compileOptions: CompileOptions): Assert

    Used by our macros.

    Used by our macros. Do not call directly!

  7. def apply(cond: Boolean): Unit

    An elaboration-time assertion.

    An elaboration-time assertion. Calls the built-in Scala assert function.

  8. def apply(cond: Boolean, message: ⇒ String): Unit

    An elaboration-time assertion.

    An elaboration-time assertion. Calls the built-in Scala assert function.

  9. macro def apply(cond: Bool)(implicit sourceInfo: SourceInfo, compileOptions: CompileOptions): Assert
  10. macro def apply(cond: Bool, message: String, data: Bits*)(implicit sourceInfo: SourceInfo, compileOptions: CompileOptions): Assert

    Checks for a condition to be valid in the circuit at all times.

    Checks for a condition to be valid in the circuit at all times. If the condition evaluates to false, the circuit simulation stops with an error.

    Does not fire when in reset (defined as the encapsulating Module's reset). If your definition of reset is not the encapsulating Module's reset, you will need to gate this externally.

    May be called outside of a Module (like defined in a function), so functions using assert make the standard Module assumptions (single clock and single reset).

    cond

    condition, assertion fires (simulation fails) when false

    message

    optional format string to print when the assertion fires

    data

    optional bits to print in the message formatting

    Note

    See printf for format string documentation

    ,

    currently cannot be used in core Chisel / libraries because macro defs need to be compiled first and the SBT project is not set up to do that

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

Inherited from AnyRef

Inherited from Any

Ungrouped