Generated with

chisel/chisel3/chisel3.layers/Verification/Assume

Assume

chisel3.layers.Verification.Assume

object Assume extends Layer, HasTemporalInlineLayer

The chisel3.layer.Layer where all assumptions will be placed.

Attributes

Source: Layers.scala
Graph
Supertypes: trait HasTemporalInlineLayer

class Layer

class Object

trait Matchable

class Any
Self type: Assume.type

Members list

Type members

Inherited classlikes

The [chisel3.layer.Layer]] where complicated assertions that may not be supported by all tools are placed.

The [chisel3.layer.Layer]] where complicated assertions that may not be supported by all tools are placed.

Attributes

Inherited from:: HasTemporalInlineLayer
Source: Layers.scala
Supertypes: class Layer

class Object

trait Matchable

class Any

Value members

Inherited fields

Attributes

Inherited from:: Layer
Source: Layer.scala

In this article

Generated with