Class

treadle.stage.phases

HandleFormalStatements

Related Doc: package phases

Permalink

class HandleFormalStatements extends Transform with RegisteredTransform with DependencyAPIMigration

This controls the handling of the verification formal statements for treadle. currently it does the following converts assert statements to a printf / stop block by default it will also do this for assumne statements but assume statement can be dropped by using "tr-ignore-format-assumes" or [IgnoreFormalAssumesAnnotation] cover statement are currently skipped

Source
HandleFormalStatements.scala
Linear Supertypes
DependencyAPIMigration, RegisteredTransform, HasShellOptions, Transform, DependencyAPI[Transform], TransformLike[CircuitState], LazyLogging, AnyRef, Any
Type Hierarchy
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. HandleFormalStatements
  2. DependencyAPIMigration
  3. RegisteredTransform
  4. HasShellOptions
  5. Transform
  6. DependencyAPI
  7. TransformLike
  8. LazyLogging
  9. AnyRef
  10. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new HandleFormalStatements()

    Permalink

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  4. final def addOptions(p: OptionParser[AnnotationSeq]): Unit

    Permalink
    Definition Classes
    HasShellOptions

  5. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  6. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  7. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  8. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  9. def execute(state: CircuitState): CircuitState

    Permalink
    Definition Classes
    HandleFormalStatements → Transform

  10. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

  11. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any

  12. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  13. def invalidates(a: Transform): Boolean

    Permalink
    Definition Classes
    HandleFormalStatements → DependencyAPIMigration → Transform → DependencyAPI

  14. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  15. val logger: Logger

    Permalink
    Attributes
    protected
    Definition Classes
    LazyLogging

  16. def name: String

    Permalink
    Definition Classes
    Transform → TransformLike

  17. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  18. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  19. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

  20. def optionalPrerequisiteOf: Seq[TransformDependency]

    Permalink
    Definition Classes
    HandleFormalStatements → DependencyAPIMigration → Transform → DependencyAPI

  21. def optionalPrerequisites: Seq[TransformDependency]

    Permalink
    Definition Classes
    HandleFormalStatements → DependencyAPIMigration → Transform → DependencyAPI

  22. val options: Seq[ShellOption[Unit]]

    Permalink
    Definition Classes
    HandleFormalStatements → HasShellOptions

  23. def prerequisites: Seq[TransformDependency]

    Permalink
    Definition Classes
    HandleFormalStatements → DependencyAPIMigration → Transform → DependencyAPI

  24. def run(c: Circuit, dropAssumes: Boolean): Circuit

    Permalink

  25. final def runTransform(state: CircuitState): CircuitState

    Permalink
    Definition Classes
    Transform

  26. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef

  27. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any

  28. def transform(state: CircuitState): CircuitState

    Permalink
    Definition Classes
    Transform → TransformLike

  29. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  30. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  31. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Deprecated Value Members

  1. def dependents: Seq[Dependency[Transform]]

    Permalink
    Definition Classes
    DependencyAPI
    Annotations
    @deprecated
    Deprecated

    (Since version FIRRTL 1.3) Due to confusion, 'dependents' is being renamed to 'optionalPrerequisiteOf'. Override the latter instead.

  2. final def inputForm: CircuitForm

    Permalink
    Definition Classes
    DependencyAPIMigration
    Annotations
    @deprecated
    Deprecated

    (Since version FIRRTL 1.3) Use Dependency API methods for equivalent functionality. See: https://bit.ly/2Voppre

  3. final def outputForm: CircuitForm

    Permalink
    Definition Classes
    DependencyAPIMigration
    Annotations
    @deprecated
    Deprecated

    (Since version FIRRTL 1.3) Use Dependency API methods for equivalent functionality. See: https://bit.ly/2Voppre

Inherited from DependencyAPIMigration

Inherited from RegisteredTransform

Inherited from HasShellOptions

Inherited from Transform

Inherited from DependencyAPI[Transform]

Inherited from TransformLike[CircuitState]

Inherited from LazyLogging

Inherited from AnyRef

Inherited from Any

Ungrouped