object assume extends Assume$Intf
- Alphabetic
- By Inheritance
- assume
- Assume$Intf
- VerifPrintMacrosDoc
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Type Members
- final class Assume extends VerificationStatement
Named class for assumptions.
Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##: Int
- Definition Classes
- AnyRef → Any
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- def apply(cond: Boolean): Unit
An elaboration-time assumption.
An elaboration-time assumption. Calls the built-in Scala assume function.
- def apply(cond: Boolean, message: => String): Unit
An elaboration-time assumption.
An elaboration-time assumption. Calls the built-in Scala assume function.
- macro def apply(cond: Bool)(implicit sourceInfo: SourceInfo): Assume
- Definition Classes
- Assume$Intf
- 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
- 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
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native()
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable])
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toString(): String
- Definition Classes
- AnyRef → Any
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()
This is the documentation for Chisel.
Package structure
The chisel3 package presents the public API of Chisel. It contains the concrete core types
UInt
,SInt
,Bool
,Clock
, andReg
, the abstract typesBits
,Aggregate
, andData
, and the aggregate typesBundle
andVec
.The Chisel package is a compatibility layer that attempts to provide chisel2 compatibility in chisel3.
Utility objects and methods are found in the
util
package.The
testers
package defines the basic interface for chisel testers.