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 = ..., debugAccessSettings: DebugAccessSettings = ...) 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
final case class DebugAccessSettings(r: Boolean = ..., w: Boolean = ..., wn: Boolean = ..., fn: Boolean = ..., fwn: Boolean = ..., f: Boolean = ..., drivers: Boolean = ..., line: Boolean = ..., cbk: Boolean = ..., cbkd: Boolean = ..., thread: Boolean = ..., `class`: Boolean = ..., pp: Boolean = ..., dmtf: Boolean = ..., all: Boolean = ..., memcbk: Boolean = ..., reverse: Boolean = ..., designer: Boolean = ..., simctrl: Boolean = ..., verbose: Boolean = ...) extends PlusOrMinusSeparated

Settings for controlling VCS debug access.

Settings for controlling VCS debug access.

These options map to the +debug_access option with separate flags for pp and dmtf, plus a standalone -memcbk flag when enabled. 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 PlusOrMinusSeparated

Trait that encodes VCS options where some flags use + prefix while others are standalone -.

Trait that encodes VCS options where some flags use + prefix while others are standalone -.

Some VCS debug access fields must be specified as -flag_name (standalone) rather than +flag_name (part of the main option). This trait allows each boolean field to specify its own prefix via an overrideable method.

Fields returning "+" get prefixed as +field in the combined list Fields returning "" become separate -flag arguments after the main option

Attributes

Source
Backend.scala
Supertypes
class Object
trait Matchable
class Any
Known subtypes
Self type
Product
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