Verification
chisel3.layers.Verification
object Verification extends Layer
The root chisel3.layer.Layer for all shared verification collateral.
Attributes
- Source
- Layers.scala
- Graph
-
- Supertypes
- Self type
-
Verification.type
Members list
Type members
Classlikes
object Assert extends Layer, HasTemporalInlineLayer
The chisel3.layer.Layer where all assertions will be placed.
The chisel3.layer.Layer where all assertions will be placed.
Attributes
- Source
- Layers.scala
- Supertypes
- Self type
-
Assert.type
object Assume extends Layer, HasTemporalInlineLayer
The chisel3.layer.Layer where all assumptions will be placed.
The chisel3.layer.Layer where all assumptions will be placed.
Attributes
- Source
- Layers.scala
- Supertypes
- Self type
-
Assume.type
object Cover extends Layer, HasTemporalInlineLayer
The chisel3.layer.Layer where all covers will be placed.
The chisel3.layer.Layer where all covers will be placed.
Attributes
- Source
- Layers.scala
- Supertypes
- Self type
-
Cover.type
Value members
Inherited fields
Attributes
- Inherited from:
- Layer
- Source
- Layer.scala
In this article