package smt
Ordering
- Alphabetic
Visibility
- Public
- All
Type Members
- case class EmittedSMTModelAnnotation(name: String, src: String, outputSuffix: String) extends NoTargetAnnotation with CustomFileEmission with Product with Serializable
- case class GlobalClockAnnotation(target: ReferenceTarget) extends SingleTargetAnnotation[ReferenceTarget] with Product with Serializable
-
class
StutteringClockTransform extends Transform with DependencyAPIMigration
Converts every input clock into a clock enable input and adds a single global clock.
Converts every input clock into a clock enable input and adds a single global clock. - all registers and memory ports will be connected to the new global clock - all registers and memory ports will be guarded by the enable signal of their original clock - the clock enabled signal can be understood as a clock tick or posedge - this transform can be used in order to (formally) verify designs with multiple clocks or asynchronous resets
Value Members
- object FirrtlToTransitionSystem extends Transform with DependencyAPIMigration
This is the documentation for Firrtl.