chisel
7.9.0+2-5294dafe-SNAPSHOT
API
Generated with
chisel/chisel3/assume

assume

chisel3.assume
object assume

Attributes

Source
VerificationStatement.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
assume.type

Members list

Type members

Classlikes

final class Assume extends VerificationStatement

Named class for assumptions.

Named class for assumptions.

Attributes

Source
VerificationStatement.scala
Supertypes
trait InstanceId
class Object
trait Matchable
class Any

Value members

Concrete methods

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

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

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

Attributes

Source
VerificationStatement.scala
def apply(cond: Boolean): Unit

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

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

Attributes

Source
VerificationStatement.scala

Inherited methods

def apply(cond: Bool)(implicit sourceInfo: SourceInfo): Assume

Attributes

Inherited from:
Assume$Intf (hidden)
Source
VerificationStatementIntf.scala
def apply(cond: Bool, message: Printable)(implicit sourceInfo: SourceInfo): Assume

Attributes

Inherited from:
Assume$Intf (hidden)
Source
VerificationStatementIntf.scala
def apply(cond: Bool, message: String, data: Bits*)(implicit sourceInfo: SourceInfo): Assume

Attributes

Inherited from:
Assume$Intf (hidden)
Source
VerificationStatementIntf.scala
Generated with