SpinalFormalConfig

Instance Constructors

new SpinalFormalConfig(_workspacePath: String = ..., _workspaceName: String = null, _spinalConfig: SpinalConfig = SpinalConfig().includeFormal, _additionalRtlPath: ArrayBuffer[String] = ArrayBuffer[String](), _additionalIncludeDir: ArrayBuffer[String] = ArrayBuffer[String](), _modesWithDepths: LinkedHashMap[String, Int] = LinkedHashMap[String, Int](), _backend: SpinalFormalBackendSel = SpinalFormalBackendSel.SYMBIYOSYS, _keepDebugInfo: Boolean = false, _hasAsync: Boolean = false)

Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
var _additionalIncludeDir: ArrayBuffer[String]
var _additionalRtlPath: ArrayBuffer[String]
var _backend: SpinalFormalBackendSel
var _engines: ArrayBuffer[FormalEngin]
var _hasAsync: Boolean
var _keepDebugInfo: Boolean
var _modesWithDepths: LinkedHashMap[String, Int]
var _multiClock: Boolean
var _spinalConfig: SpinalConfig
var _timeout: Option[Int]
var _workspaceName: String
var _workspacePath: String
def addEngin(engin: FormalEngin): SpinalFormalConfig.this.type
def addIncludeDir(that: String): SpinalFormalConfig.this.type
def addRtl(that: String): SpinalFormalConfig.this.type
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@HotSpotIntrinsicCandidate() @throws( ... )
def compile[T <: Component](report: SpinalReport[T]): FormalBackend
def compile[T <: Component](rtl: ⇒ T): FormalBackend
def compileCloned[T <: Component](rtl: ⇒ T): FormalBackend
def doVerify[T <: Component](rtl: ⇒ T, name: String): Unit
def doVerify[T <: Component](rtl: ⇒ T): Unit
def doVerify[T <: Component](report: SpinalReport[T], name: String): Unit
def doVerify[T <: Component](report: SpinalReport[T]): Unit
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
Annotations
@HotSpotIntrinsicCandidate()
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
Annotations
@HotSpotIntrinsicCandidate()
final def notifyAll(): Unit

Definition Classes
AnyRef
Annotations
@HotSpotIntrinsicCandidate()
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
def withAsync: SpinalFormalConfig.this.type
def withBMC(depth: Int = 100): SpinalFormalConfig.this.type
def withConfig(config: SpinalConfig): SpinalFormalConfig.this.type
def withCover(depth: Int = 100): SpinalFormalConfig.this.type
def withDebug: SpinalFormalConfig.this.type
def withEngies(engins: Seq[FormalEngin]): SpinalFormalConfig.this.type
def withProve(depth: Int = 100): SpinalFormalConfig.this.type
def withSymbiYosys: SpinalFormalConfig.this.type
def withTimeout(timeout: Int): SpinalFormalConfig.this.type
def workspaceName(name: String): SpinalFormalConfig.this.type
def workspacePath(path: String): SpinalFormalConfig.this.type

Deprecated Value Members

def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@Deprecated @deprecated @throws( classOf[java.lang.Throwable] )
Deprecated
(Since version ) see corresponding Javadoc for more information.

Related Doc: package formal

Instance Constructors

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

var _additionalIncludeDir: ArrayBuffer[String]

var _additionalRtlPath: ArrayBuffer[String]

var _backend: SpinalFormalBackendSel

var _engines: ArrayBuffer[FormalEngin]

var _hasAsync: Boolean

var _keepDebugInfo: Boolean

var _modesWithDepths: LinkedHashMap[String, Int]

var _multiClock: Boolean

var _spinalConfig: SpinalConfig

var _timeout: Option[Int]

var _workspaceName: String

var _workspacePath: String

def addEngin(engin: FormalEngin): SpinalFormalConfig.this.type

def addIncludeDir(that: String): SpinalFormalConfig.this.type

def addRtl(that: String): SpinalFormalConfig.this.type

final def asInstanceOf[T0]: T0

def clone(): AnyRef

def compile[T <: Component](report: SpinalReport[T]): FormalBackend

def compile[T <: Component](rtl: ⇒ T): FormalBackend

def compileCloned[T <: Component](rtl: ⇒ T): FormalBackend

def doVerify[T <: Component](rtl: ⇒ T, name: String): Unit

def doVerify[T <: Component](rtl: ⇒ T): Unit

def doVerify[T <: Component](report: SpinalReport[T], name: String): Unit

def doVerify[T <: Component](report: SpinalReport[T]): Unit

final def eq(arg0: AnyRef): Boolean

final def getClass(): Class[_]

final def isInstanceOf[T0]: Boolean

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

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

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

final def wait(arg0: Long): Unit

final def wait(): Unit

def withAsync: SpinalFormalConfig.this.type

def withBMC(depth: Int = 100): SpinalFormalConfig.this.type

def withConfig(config: SpinalConfig): SpinalFormalConfig.this.type

def withCover(depth: Int = 100): SpinalFormalConfig.this.type

def withDebug: SpinalFormalConfig.this.type

def withEngies(engins: Seq[FormalEngin]): SpinalFormalConfig.this.type

def withProve(depth: Int = 100): SpinalFormalConfig.this.type

def withSymbiYosys: SpinalFormalConfig.this.type

def withTimeout(timeout: Int): SpinalFormalConfig.this.type

def workspaceName(name: String): SpinalFormalConfig.this.type

def workspacePath(path: String): SpinalFormalConfig.this.type

Deprecated Value Members

def finalize(): Unit

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from AnyRef

Inherited from Any

Ungrouped