object assume extends VerifPrintMacrosDoc
- Alphabetic
- By Inheritance
- assume
- VerifPrintMacrosDoc
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
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 _applyMacroWithInterpolatorCheck(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
- 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
- def _applyMacroWithPrintableMessage(c: Context)(cond: scala.reflect.macros.blackbox.Context.Tree, message: 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
- def _applyMacroWithStringMessage(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
-
def
_applyWithSourceLine(cond: Bool, line: SourceLineInfo, message: Option[String], data: Bits*)(implicit sourceInfo: SourceInfo, compileOptions: CompileOptions): Assume
This will be removed in Chisel 3.6 in favor of the Printable version
- def _applyWithSourceLinePrintable(cond: Bool, line: SourceLineInfo, message: Option[Printable])(implicit sourceInfo: SourceInfo, compileOptions: CompileOptions): Assume
-
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, compileOptions: CompileOptions): Assume
-
macro
def
apply(cond: Bool, message: Printable)(implicit sourceInfo: SourceInfo, compileOptions: CompileOptions): 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 Printable type message when the assertion fires
- 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, compileOptions: CompileOptions): 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
- 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( ... ) @native() @HotSpotIntrinsicCandidate()
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @HotSpotIntrinsicCandidate()
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @HotSpotIntrinsicCandidate()
-
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() @HotSpotIntrinsicCandidate()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @HotSpotIntrinsicCandidate()
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toString(): String
- Definition Classes
- AnyRef → Any
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
Ungrouped
VerifPrintMacros
These internal methods are not part of the public-facing API!