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) 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.  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.

9.  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
10.  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.