Packages

o

chisel3

assume

object assume extends Assume$Intf

Source
VerificationStatement.scala
Linear Supertypes
Assume$Intf, VerifPrintMacrosDoc, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. assume
  2. Assume$Intf
  3. VerifPrintMacrosDoc
  4. AnyRef
  5. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Type Members

  1. final class Assume extends VerificationStatement

    Named class for assumptions.

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: Boolean): Unit

    An elaboration-time assumption.

    An elaboration-time assumption. Calls the built-in Scala assume function.

  5. def apply(cond: Boolean, message: => String): Unit

    An elaboration-time assumption.

    An elaboration-time assumption. Calls the built-in Scala assume function.

  6. macro def apply(cond: Bool)(implicit sourceInfo: SourceInfo): Assume
    Definition Classes
    Assume$Intf
  7. macro def apply(cond: Bool, message: Printable)(implicit sourceInfo: SourceInfo): Assume

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

    Assumes a condition to be valid in the circuit at all times. Acts like an assertion in simulation and imposes a declarative assumption on the state explored by formal tools.

    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.

    cond

    condition, assertion fires (simulation fails) when false

    message

    optional Printable type message when the assertion fires

    Definition Classes
    Assume$Intf
    Note

    See printf.apply(pable:chisel3\.Printable)* for documentation on printf using Printables

  8. macro def apply(cond: Bool, message: String, data: Bits*)(implicit sourceInfo: SourceInfo): Assume

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

    Assumes a condition to be valid in the circuit at all times. Acts like an assertion in simulation and imposes a declarative assumption on the state explored by formal tools.

    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

    Definition Classes
    Assume$Intf
    Note

    See printf for format string documentation

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

Inherited from Assume$Intf

Inherited from VerifPrintMacrosDoc

Inherited from AnyRef

Inherited from Any

Ungrouped