Type Members

1.  case class AssertGlobalMaxFailCount(count: Int) extends AssertionSettings with Product with Serializable
2.  sealed trait AssertionSettings extends AnyRef
3.  final case class BranchCoverageSettings(values: Boolean = false, ignoreMissingDefault: Boolean = false) extends PlusSeparated with Product with Serializable

   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.

4.  case class CompilationSettings(xProp: Option[XProp] = None, randomlyInitializeRegisters: Boolean = false, traceSettings: TraceSettings = CompilationSettings.TraceSettings(), simulationSettings: SimulationSettings = SimulationSettings(), coverageSettings: CoverageSettings = CoverageSettings(), coverageDirectory: Option[CoverageDirectory] = None, toggleCoverageSettings: ToggleCoverageSettings = ToggleCoverageSettings(), branchCoverageSettings: BranchCoverageSettings = BranchCoverageSettings(), flags: Seq[Type] = Seq.empty, licenceExpireWarningTimeout: Option[Int] = None, archOverride: Option[String] = None, waitForLicenseIfUnavailable: Boolean = false, debugAccessSettings: DebugAccessSettings = DebugAccessSettings()) extends Settings with Product with Serializable
5.  final case class CoverageDirectory(directory: String) extends Product with Serializable

   Settings for controlling the coverage directory

   Settings for controlling the coverage directory

   This maps to the -cm_dir option.

6.  final case class CoverageName(name: String) extends Product with Serializable

   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.

7.  final case class CoverageSettings(line: Boolean = false, cond: Boolean = false, fsm: Boolean = false, tgl: Boolean = false, obc: Boolean = false, path: Boolean = false, assert: Boolean = false, branch: Boolean = false, sdc: Boolean = false) extends PlusSeparated with Product with Serializable

   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.

8.  final case class DebugAccessSettings(r: Boolean = false, w: Boolean = false, wn: Boolean = false, fn: Boolean = false, fwn: Boolean = false, f: Boolean = false, drivers: Boolean = false, line: Boolean = false, cbk: Boolean = false, cbkd: Boolean = false, thread: Boolean = false, class: Boolean = false, pp: Boolean = true, dmtf: Boolean = true, all: Boolean = false, memcbk: Boolean = false, reverse: Boolean = false, designer: Boolean = false, simctrl: Boolean = false, verbose: Boolean = false) extends PlusOrMinusSeparated with Product with Serializable

   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.

9.  sealed trait PlusOrMinusSeparated extends AnyRef

   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

10.  sealed trait PlusSeparated extends AnyRef

    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:

    -<name> <flag>[+<flag>...]

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

11.  final case class SimulationSettings(customWorkingDirectory: Option[String] = None, assertionSettings: Option[AssertionSettings] = None, coverageSettings: CoverageSettings = CoverageSettings(), coverageDirectory: Option[CoverageDirectory] = None, coverageName: Option[CoverageName] = None) extends Product with Serializable
12.  final case class ToggleCoverageSettings(assign: Boolean = false, portsonly: Boolean = false, fullintf: Boolean = false, mda: Boolean = false, count: Boolean = false, structarr: Boolean = false, modportarr: Boolean = false, unencrypted_signals: Boolean = false, old: Boolean = false) extends PlusSeparated with Product with Serializable

    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.