Backend

svsim.vcs.Backend
See theBackend companion class
object Backend

Attributes

Companion
class
Source
Backend.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Backend.type

Members list

Type members

Classlikes

case class AssertGlobalMaxFailCount(count: Int) extends AssertionSettings

Attributes

Source
Backend.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
sealed trait AssertionSettings

Attributes

Source
Backend.scala
Supertypes
class Object
trait Matchable
class Any
Known subtypes
final case class BranchCoverageSettings(values: Boolean = ..., ignoreMissingDefault: Boolean = ...) extends PlusSeparated

Settings for controlling VCS branch coverage.

Settings for controlling VCS branch coverage.

These options map to the -cm_branch option. Consult the Synopsys VCS user guide for documentation of this option.

Attributes

Source
Backend.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
case class CompilationSettings(xProp: Option[XProp] = ..., randomlyInitializeRegisters: Boolean = ..., traceSettings: TraceSettings = ..., simulationSettings: SimulationSettings = ..., coverageSettings: CoverageSettings = ..., coverageDirectory: Option[CoverageDirectory] = ..., toggleCoverageSettings: ToggleCoverageSettings = ..., branchCoverageSettings: BranchCoverageSettings = ..., flags: Seq[Type] = ..., licenceExpireWarningTimeout: Option[Int] = ..., archOverride: Option[String] = ..., waitForLicenseIfUnavailable: Boolean = ...) extends Settings

Attributes

Companion
object
Source
Backend.scala
Supertypes
trait Serializable
trait Settings
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Attributes

Companion
class
Source
Backend.scala
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
final case class CoverageDirectory(directory: String)

Settings for controlling the coverage directory

Settings for controlling the coverage directory

This maps to the -cm_dir option.

Attributes

Source
Backend.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
final case class CoverageName(name: String)

Sets a unique name used for this coverage run

Sets a unique name used for this coverage run

This maps to the -cm_name option.

Attributes

Source
Backend.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
final case class CoverageSettings(line: Boolean = ..., cond: Boolean = ..., fsm: Boolean = ..., tgl: Boolean = ..., obc: Boolean = ..., path: Boolean = ..., assert: Boolean = ..., branch: Boolean = ..., sdc: Boolean = ...) extends PlusSeparated

Settings for controlling VCS coverage.

Settings for controlling VCS coverage.

These options map to the -cm option. Each parameter turns on a specific kind of coverage. Consult the Synopsys VCS user guide for documentation.

Attributes

Source
Backend.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object Flag

Container of all simple flag options to VCS.

Container of all simple flag options to VCS.

All these options take no arguments.

Attributes

Source
Backend.scala
Supertypes
class Object
trait Matchable
class Any
Self type
Flag.type
object LicenseFile

Utilities for working with VCS license files

Utilities for working with VCS license files

Attributes

Source
Backend.scala
Supertypes
class Object
trait Matchable
class Any
Self type
sealed trait PlusSeparated

Trait that encodes a VCS "plus" option.

Trait that encodes a VCS "plus" option.

VCS has a lot of options that take the form of:

- [+ ...]

This encapsulates the logic to generate these options from a Product that consists of elements whose names are the flags.

Attributes

Source
Backend.scala
Supertypes
class Object
trait Matchable
class Any
Known subtypes
Self type
Product
final case class SimulationSettings(customWorkingDirectory: Option[String] = ..., assertionSettings: Option[AssertionSettings] = ..., coverageSettings: CoverageSettings = ..., coverageDirectory: Option[CoverageDirectory] = ..., coverageName: Option[CoverageName] = ...)

Attributes

Source
Backend.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
final case class ToggleCoverageSettings(assign: Boolean = ..., portsonly: Boolean = ..., fullintf: Boolean = ..., mda: Boolean = ..., count: Boolean = ..., structarr: Boolean = ..., modportarr: Boolean = ..., unencrypted_signals: Boolean = ..., old: Boolean = ...) extends PlusSeparated

Settings for controlling VCS toggle coverage.

Settings for controlling VCS toggle coverage.

These options map to the -cm_tgl option. Consult the Synopsys VCS user guide for documentation.

Attributes

Source
Backend.scala
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Value members

Concrete methods