Packages

c

chiseltest.sequences.backends

PropertyFsmAutomaton

class PropertyFsmAutomaton extends RawModule

Linear Supertypes
RawModule, BaseModule, IsInstantiable, HasId, InstanceId, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. PropertyFsmAutomaton
  2. RawModule
  3. BaseModule
  4. IsInstantiable
  5. HasId
  6. InstanceId
  7. AnyRef
  8. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Instance Constructors

  1. new PropertyFsmAutomaton(preds: Seq[String], op: VerificationOp, compile: (Map[String, Bool]) => Bool)

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##: Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. def IO[T <: Data](iodef: => T)(implicit sourceInfo: SourceInfo): T
    Attributes
    protected
    Definition Classes
    BaseModule
  5. def _bindIoInPlace(iodef: Data)(implicit sourceInfo: SourceInfo): Unit
    Attributes
    protected
    Definition Classes
    BaseModule
  6. val _body: Block
    Attributes
    protected
    Definition Classes
    BaseModule
  7. var _closed: Boolean
    Attributes
    protected
    Definition Classes
    BaseModule
  8. def _moduleDefinitionIdentifierProposal: String
    Attributes
    protected
    Definition Classes
    BaseModule
  9. def _sourceInfo: SourceInfo
    Attributes
    protected
    Definition Classes
    BaseModule
  10. def _traitModuleDefinitionIdentifierProposal: Option[String]
    Attributes
    protected
    Definition Classes
    BaseModule
  11. def afterModuleBuilt(gen: => Unit): Unit
    Attributes
    protected
    Definition Classes
    RawModule
  12. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  13. def atModuleBodyEnd(gen: => Unit): Unit
    Attributes
    protected
    Definition Classes
    RawModule
  14. def circuitName: String
    Definition Classes
    HasId
  15. val clock: Clock
  16. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @IntrinsicCandidate() @native()
  17. final val definitionIdentifier: String
    Definition Classes
    BaseModule
  18. def desiredName: String
    Definition Classes
    BaseModule
  19. def endIOCreation()(implicit si: SourceInfo): Unit
    Definition Classes
    BaseModule
  20. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  21. def equals(that: Any): Boolean
    Definition Classes
    HasId → AnyRef → Any
  22. val fail: Bool
  23. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @IntrinsicCandidate() @native()
  24. def getCommands: Seq[Command]
    Attributes
    protected
    Definition Classes
    RawModule
  25. def getInstantiatingBlock: Option[Block]
    Attributes
    protected[chisel3]
    Definition Classes
    BaseModule
  26. def getModulePorts: Seq[Data]
    Attributes
    protected[chisel3]
    Definition Classes
    BaseModule
  27. def hasBody: Boolean
    Attributes
    protected
    Definition Classes
    RawModule → BaseModule
  28. def hasSeed: Boolean
    Definition Classes
    HasId
  29. def hashCode(): Int
    Definition Classes
    HasId → AnyRef → Any
  30. def instanceName: String
    Definition Classes
    BaseModule → HasId → InstanceId
  31. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  32. def localModulePrefix: Option[String]
    Definition Classes
    BaseModule
  33. def localModulePrefixAppliesToSelf: Boolean
    Definition Classes
    BaseModule
  34. def localModulePrefixUseSeparator: Boolean
    Definition Classes
    BaseModule
  35. def moduleBuilt(): Unit
    Attributes
    protected[chisel3]
    Definition Classes
    RawModule → BaseModule
  36. final val modulePrefix: String
    Definition Classes
    BaseModule
  37. final lazy val name: String
    Definition Classes
    BaseModule
  38. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  39. val noReset: AsyncReset
  40. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @IntrinsicCandidate() @native()
  41. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @IntrinsicCandidate() @native()
  42. def parentModName: String
    Definition Classes
    HasId → InstanceId
  43. def parentPathName: String
    Definition Classes
    HasId → InstanceId
  44. def pathName: String
    Definition Classes
    HasId → InstanceId
  45. def portsContains(elem: Data): Boolean
    Attributes
    protected
    Definition Classes
    BaseModule
  46. def portsSize: Int
    Attributes
    protected
    Definition Classes
    BaseModule
  47. val predicates: Seq[(String, Bool)]
  48. val reset: AsyncReset
  49. def suggestName(seed: => String): PropertyFsmAutomaton.this.type
    Definition Classes
    HasId
  50. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  51. final def toAbsoluteTarget: IsModule
    Definition Classes
    BaseModule → InstanceId
  52. final def toNamed: ModuleName
    Definition Classes
    BaseModule → InstanceId
  53. final def toRelativeTarget(root: Option[BaseModule]): IsModule
    Definition Classes
    BaseModule
  54. final def toRelativeTargetToHierarchy(root: Option[Hierarchy[BaseModule]]): IsModule
    Definition Classes
    BaseModule
  55. def toString(): String
    Definition Classes
    AnyRef → Any
  56. final def toTarget: ModuleTarget
    Definition Classes
    BaseModule → InstanceId
  57. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  58. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  59. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])

Deprecated Value Members

  1. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable]) @Deprecated
    Deprecated

    (Since version 9)

Inherited from RawModule

Inherited from BaseModule

Inherited from IsInstantiable

Inherited from HasId

Inherited from InstanceId

Inherited from AnyRef

Inherited from Any

Ungrouped