Safe Haskell	None
Language	Haskell2010

Verismith.Config

Contents

TOML Configuration
Useful Lenses

Synopsis

data Config = Config {
- _configEMI :: !ConfEMI
- _configInfo :: !Info
- _configProbability :: !Probability
- _configProperty :: !ConfProperty
- _configGarbageGenerator :: !GarbageOpts
- _configSimulators :: [SimDescription]
- _configSynthesisers :: [SynthDescription]
}
defaultConfig :: Config
data Probability = Probability {
- _probModItem :: !ProbModItem
- _probStmnt :: !ProbStatement
- _probExpr :: !ProbExpr
- _probMod :: !ProbMod
}
data ProbExpr = ProbExpr {
- _probExprNum :: !Int
- _probExprId :: !Int
- _probExprRangeSelect :: !Int
- _probExprUnOp :: !Int
- _probExprBinOp :: !Int
- _probExprCond :: !Int
- _probExprConcat :: !Int
- _probExprStr :: !Int
- _probExprSigned :: !Int
- _probExprUnsigned :: !Int
}
data ProbModItem = ProbModItem {
- _probModItemAssign :: !Int
- _probModItemSeqAlways :: !Int
- _probModItemCombAlways :: !Int
- _probModItemInst :: !Int
}
data ProbStatement = ProbStatement {
- _probStmntBlock :: !Int
- _probStmntNonBlock :: !Int
- _probStmntCond :: !Int
- _probStmntFor :: !Int
}
data ProbMod = ProbMod {
- _probModDropOutput :: !Int
- _probModKeepOutput :: !Int
}
data ConfEMI = ConfEMI {
- _confEMIGenerateProb :: !Int
- _confEMINoGenerateProb :: !Int
}
data ConfProperty = ConfProperty {
- _propSize :: !Int
- _propSeed :: !(Maybe Seed)
- _propStmntDepth :: !Int
- _propModDepth :: !Int
- _propMaxModules :: !Int
- _propSampleMethod :: !Text
- _propSampleSize :: !Int
- _propCombine :: !Bool
- _propNonDeterminism :: !Int
- _propDeterminism :: !Int
- _propDefaultYosys :: !(Maybe Text)
}
data NumberProbability
- = NPUniform {
  - _NPULow :: !Int
  - _NPUHigh :: !Int
  }
- | NPBinomial {
  - _NPBOffset :: !Int
  - _NPBTrials :: !Int
  - _NPBSuccess :: !Double
  }
- | NPNegativeBinomial {
  - _NPNBOffset :: !Int
  - _NPNBFailRate :: !Double
  - _NPNBFailure :: !Int
  }
- | NPPoisson {
  - _NPPOffset :: !Int
  - _NPPParam :: !Double
  }
- | NPDiscrete !(NonEmpty (Double, Int))
- | NPLinearComb !(NonEmpty (Double, NumberProbability))
data CategoricalProbability
- = CPDiscrete !(NonEmpty Double)
- | CPBiasedUniform {
  - _CPBUBiases :: ![(Double, Int)]
  - _CPBUUniformWeight :: Double
  }
uniformCP :: CategoricalProbability
data GarbageOpts = GarbageOpts {
- _goSeed :: !(Maybe (Vector Word32))
- _goConfig :: !GarbageConfigOpts
- _goPrimitive :: !GarbagePrimitiveOpts
- _goModule :: !GarbageModuleOpts
- _goSpecify :: !GarbageSpecifyOpts
- _goGenerate :: !GarbageGenerateOpts
- _goType :: !GarbageTypeOpts
- _goStatement :: !GarbageStatementOpts
- _goExpr :: !GarbageExprOpts
- _goIdentifier :: !GarbageIdentifierOpts
- _goDriveStrength :: !CategoricalProbability
- _goLValues :: !NumberProbability
- _goOptionalLValue :: !Double
- _goAttributes :: !NumberProbability
- _goAttributeOptionalValue :: !Double
- _goDelay :: !CategoricalProbability
- _goIntRealIdent :: !CategoricalProbability
- _goPathDepth :: !NumberProbability
- _goBareMinTypMax :: !Double
}
data GarbageConfigOpts = GarbageConfigOpts {
- _gcoBlocks :: !NumberProbability
- _gcoDesigns :: !NumberProbability
- _gcoItems :: !NumberProbability
- _gcoLibraries :: !NumberProbability
- _gcoCell_Inst :: !Double
- _gcoLiblist_Use :: !Double
- _gcoConfig :: !Double
- _gcoLibraryScope :: !Double
}
data GarbagePrimitiveOpts = GarbagePrimitiveOpts {
- _gpoBlocks :: !NumberProbability
- _gpoPorts :: !NumberProbability
- _gpoPortType :: !CategoricalProbability
- _gpoSeq_Comb :: !Double
- _gpoRegInit :: !Double
- _gpoCombInit :: !CategoricalProbability
- _gpoTableRows :: !NumberProbability
- _gpoInLevel :: !CategoricalProbability
- _gpoOutLevel :: !CategoricalProbability
- _gpoEdgeSensitive :: !Double
- _gpoEdgeSimplePosNeg :: !CategoricalProbability
- _gpoOutputNoChange :: !Double
}
data GarbageModuleOpts = GarbageModuleOpts {
- _gmoBlocks :: !NumberProbability
- _gmoNamed_Positional :: !Double
- _gmoParameters :: !NumberProbability
- _gmoOptionalParameter :: !Double
- _gmoPorts :: !NumberProbability
- _gmoPortLValues :: !NumberProbability
- _gmoPortRange :: !Double
- _gmoPortDir :: !CategoricalProbability
- _gmoOptionalPort :: !Double
- _gmoItems :: !NumberProbability
- _gmoItem :: !CategoricalProbability
- _gmoTimeScale :: !Double
- _gmoTimeMagnitude :: !CategoricalProbability
- _gmoCell :: !Double
- _gmoUnconnectedDrive :: !CategoricalProbability
- _gmoDefaultNetType :: !CategoricalProbability
- _gmoNonAsciiHeader :: !Bool
}
data GarbageSpecifyOpts = GarbageSpecifyOpts {
- _gsyoPath :: !GarbageSpecifyPathOpts
- _gsyoTimingCheck :: !GarbageSpecifyTimingCheckOpts
- _gsyoItems :: !NumberProbability
- _gsyoItem :: !CategoricalProbability
- _gsyoTermRange :: !Double
- _gsyoParamRange :: !Double
- _gsyoPathPulseEscaped_Simple :: !Double
- _gsyoPathPulseRange :: !Double
}
data GarbageSpecifyPathOpts = GarbageSpecifyPathOpts {
- _gspoCondition :: !CategoricalProbability
- _gspoFull_Parallel :: !Double
- _gspoEdgeSensitive :: !Double
- _gspoFullSources :: !NumberProbability
- _gspoFullDestinations :: !NumberProbability
- _gspoPolarity :: !CategoricalProbability
- _gspoEdgeSensitivity :: !CategoricalProbability
- _gspoDelayKind :: !CategoricalProbability
}
data GarbageSpecifyTimingCheckOpts = GarbageSpecifyTimingCheckOpts {
- _gstcoOptionalArg :: !Double
- _gstcoEvent :: !Double
- _gstcoEventEdge :: !Double
- _gstcoCondition :: !Double
- _gstcoCondNeg_Pos :: !Double
- _gstcoDelayedMinTypMax :: !Double
}
data GarbageGenerateOpts = GarbageGenerateOpts {
- _ggoAttenuation :: !GarbageAttenuationOpts
- _ggoItems :: !NumberProbability
- _ggoItem :: !CategoricalProbability
- _ggoOptionalBlock :: !Double
- _ggoInstOptionalDelay :: !Double
- _ggoInstOptionalRange :: !Double
- _ggoPrimitiveOptIdent :: !Double
- _ggoCondBlock :: !CategoricalProbability
- _ggoNetType :: !CategoricalProbability
- _ggoNetRange :: !Double
- _ggoNetVectoring :: !CategoricalProbability
- _ggoDeclItem :: !CategoricalProbability
- _ggoDeclDim_Init :: !Double
- _ggoChargeStrength :: !CategoricalProbability
- _ggoTaskFunAutomatic :: !Double
- _ggoTaskFunDecl :: !CategoricalProbability
- _ggoTaskFunRegister :: !Double
- _ggoTaskFunPorts :: !NumberProbability
- _ggoTaskFunPortType :: !CategoricalProbability
- _ggoTaskPortDirection :: !CategoricalProbability
- _ggoFunRetType :: !Double
- _ggoGateInst :: !CategoricalProbability
- _ggoGateOptIdent :: !Double
- _ggoGateNInputType :: !CategoricalProbability
- _ggoGateInputs :: !NumberProbability
- _ggoGateOutputs :: !NumberProbability
- _ggoCaseBranches :: !NumberProbability
- _ggoCaseBranchPatterns :: !NumberProbability
}
data GarbageTypeOpts = GarbageTypeOpts {
- _gtoAbstract_Concrete :: !Double
- _gtoAbstract :: !CategoricalProbability
- _gtoConcreteSignedness :: !Double
- _gtoConcreteBitRange :: !Double
- _gtoDimensions :: !NumberProbability
}
data GarbageAttenuationOpts = GarbageAttenuationOpts {
- _gaoCurrent :: !Double
- _gaoDecrease :: !Double
}
data GarbageStatementOpts = GarbageStatementOpts {
- _gstoAttenuation :: !GarbageAttenuationOpts
- _gstoOptional :: !Double
- _gstoItem :: !CategoricalProbability
- _gstoItems :: !NumberProbability
- _gstoOptionalDelEvCtl :: !Double
- _gstoAssignmentBlocking :: !Double
- _gstoCase :: !CategoricalProbability
- _gstoCaseBranches :: !NumberProbability
- _gstoCaseBranchPatterns :: !NumberProbability
- _gstoLoop :: !CategoricalProbability
- _gstoBlockPar_Seq :: !Double
- _gstoBlockHeader :: !Double
- _gstoBlockDecls :: !NumberProbability
- _gstoBlockDecl :: !CategoricalProbability
- _gstoProcContAssign :: !CategoricalProbability
- _gstoPCAVar_Net :: !Double
- _gstoDelayEventRepeat :: !CategoricalProbability
- _gstoEvent :: !CategoricalProbability
- _gstoEvents :: !NumberProbability
- _gstoEventPrefix :: !CategoricalProbability
- _gstoSysTaskPorts :: !NumberProbability
- _gstoSysTaskOptionalPort :: !Double
}
data GarbageExprOpts = GarbageExprOpts {
- _geoAttenuation :: !GarbageAttenuationOpts
- _geoItem :: !CategoricalProbability
- _geoPrimary :: !CategoricalProbability
- _geoUnary :: !CategoricalProbability
- _geoBinary :: !CategoricalProbability
- _geoMinTypMax :: !Double
- _geoDimRange :: !Double
- _geoRange :: !CategoricalProbability
- _geoRangeOffsetPos_Neg :: !Double
- _geoConcatenations :: !NumberProbability
- _geoSysFunArgs :: !NumberProbability
- _geoLiteralWidth :: !CategoricalProbability
- _geoLiteralSigned :: !Double
- _geoStringCharacters :: !NumberProbability
- _geoStringCharacter :: !CategoricalProbability
- _geoFixed_Floating :: !Double
- _geoExponentSign :: !CategoricalProbability
- _geoX_Z :: !Double
- _geoBinarySymbols :: !NumberProbability
- _geoBinarySymbol :: !CategoricalProbability
- _geoOctalSymbols :: !NumberProbability
- _geoOctalSymbol :: !CategoricalProbability
- _geoDecimalSymbols :: !NumberProbability
- _geoDecimalSymbol :: !CategoricalProbability
- _geoHexadecimalSymbols :: !NumberProbability
- _geoHexadecimalSymbol :: !CategoricalProbability
}
data GarbageIdentifierOpts = GarbageIdentifierOpts {
- _gioEscaped_Simple :: !Double
- _gioSimpleLetters :: !NumberProbability
- _gioSimpleLetter :: !CategoricalProbability
- _gioEscapedLetters :: !NumberProbability
- _gioEscapedLetter :: !CategoricalProbability
- _gioSystemLetters :: !NumberProbability
- _gioSystemFirstLetter :: !CategoricalProbability
}
defGarbageOpts :: GarbageOpts
data SimDescription = SimDescription {
- simName :: !Text
}
data SynthDescription = SynthDescription {
- synthName :: !Text
- synthBin :: Maybe Text
- synthDesc :: Maybe Text
- synthOut :: Maybe Text
}
fromXST :: XST -> SynthDescription
fromYosys :: Yosys -> SynthDescription
fromVivado :: Vivado -> SynthDescription
fromQuartus :: Quartus -> SynthDescription
fromQuartusLight :: QuartusLight -> SynthDescription
configEMI :: Lens' Config ConfEMI
configProbability :: Lens' Config Probability
configGarbageGenerator :: Lens' Config GarbageOpts
configProperty :: Lens' Config ConfProperty
configSimulators :: Lens' Config [SimDescription]
configSynthesisers :: Lens' Config [SynthDescription]
confEMIGenerateProb :: Lens' ConfEMI Int
confEMINoGenerateProb :: Lens' ConfEMI Int
probModItem :: Lens' Probability ProbModItem
probMod :: Lens' Probability ProbMod
probModDropOutput :: Lens' ProbMod Int
probModKeepOutput :: Lens' ProbMod Int
probStmnt :: Lens' Probability ProbStatement
probExpr :: Lens' Probability ProbExpr
probExprNum :: Lens' ProbExpr Int
probExprId :: Lens' ProbExpr Int
probExprRangeSelect :: Lens' ProbExpr Int
probExprUnOp :: Lens' ProbExpr Int
probExprBinOp :: Lens' ProbExpr Int
probExprCond :: Lens' ProbExpr Int
probExprConcat :: Lens' ProbExpr Int
probExprStr :: Lens' ProbExpr Int
probExprSigned :: Lens' ProbExpr Int
probExprUnsigned :: Lens' ProbExpr Int
probModItemAssign :: Lens' ProbModItem Int
probModItemSeqAlways :: Lens' ProbModItem Int
probModItemCombAlways :: Lens' ProbModItem Int
probModItemInst :: Lens' ProbModItem Int
probStmntBlock :: Lens' ProbStatement Int
probStmntNonBlock :: Lens' ProbStatement Int
probStmntCond :: Lens' ProbStatement Int
probStmntFor :: Lens' ProbStatement Int
propSampleSize :: Lens' ConfProperty Int
propSampleMethod :: Lens' ConfProperty Text
propSize :: Lens' ConfProperty Int
propSeed :: Lens' ConfProperty (Maybe Seed)
propStmntDepth :: Lens' ConfProperty Int
propModDepth :: Lens' ConfProperty Int
propMaxModules :: Lens' ConfProperty Int
propCombine :: Lens' ConfProperty Bool
propDeterminism :: Lens' ConfProperty Int
propNonDeterminism :: Lens' ConfProperty Int
propDefaultYosys :: Lens' ConfProperty (Maybe Text)
goSeed :: Lens' GarbageOpts (Maybe (Vector Word32))
gaoCurrent :: Lens' GarbageAttenuationOpts Double
goGenerate :: Lens' GarbageOpts GarbageGenerateOpts
goStatement :: Lens' GarbageOpts GarbageStatementOpts
goExpr :: Lens' GarbageOpts GarbageExprOpts
ggoAttenuation :: Lens' GarbageGenerateOpts GarbageAttenuationOpts
geoAttenuation :: Lens' GarbageExprOpts GarbageAttenuationOpts
gstoAttenuation :: Lens' GarbageStatementOpts GarbageAttenuationOpts
parseConfigFile :: FilePath -> IO (Either Text Config)
parseConfig :: Text -> Either Text Config
parseConfigFileRelaxed :: FilePath -> IO (Either Text Config)
parseConfigRelaxed :: Text -> Either Text Config
encodeConfig :: Config -> Text
encodeConfigFile :: FilePath -> Config -> IO ()
versionInfo :: String

TOML Configuration

Verismith supports a TOML configuration file that can be passed using the -c flag or using the parseConfig and encodeConfig functions. The configuration can then be manipulated using the lenses that are also provided in this module.

The configuration file can be used to tweak the random Verilog generation by passing different probabilities to each of the syntax nodes in the AST. It can also be used to specify which simulators to fuzz with which options. A seed for the run can also be set, to replay a previous run using the same exact generation. A default value is associated with each key in the configuration file, which means that only the options that need overriding can be added to the configuration. The defaults can be observed in defaultConfig or when running verismith config.

Configuration Sections

There are four main configuration sections in the TOML file:

probability: The probability section defines the probabilities at every node in the AST.
property: Controls different properties of the generation, such as adding a seed or the depth of the statements.
simulator: This is an array of tables containing descriptions of the different simulators that should be used. It currently only supports Icarus Verilog.
synthesiser: This is also an array of tables containing descriptions of the different synthesisers that should be used. The synthesisers that are currently supported are:

data Config Source #

Constructors

Config
Fields _configEMI :: !ConfEMI _configInfo :: !Info _configProbability :: !Probability _configProperty :: !ConfProperty _configGarbageGenerator :: !GarbageOpts _configSimulators :: [SimDescription] _configSynthesisers :: [SynthDescription]

Instances

Instances details

Show Config Source #
Instance details Defined in Verismith.Config Methods showsPrec :: Int -> Config -> ShowS # show :: Config -> String # showList :: [Config] -> ShowS #
Eq Config Source #
Instance details Defined in Verismith.Config Methods (==) :: Config -> Config -> Bool # (/=) :: Config -> Config -> Bool #

defaultConfig :: Config Source #

Probabilities

data Probability Source #

[probability]: combined probabilities.

Constructors

Probability
Fields _probModItem :: !ProbModItem Probabilities for module items. _probStmnt :: !ProbStatement Probabilities for statements. _probExpr :: !ProbExpr Probaiblities for expressions. _probMod :: !ProbMod

Instances

Instances details

Show Probability Source #
Instance details Defined in Verismith.Config Methods showsPrec :: Int -> Probability -> ShowS # show :: Probability -> String # showList :: [Probability] -> ShowS #
Eq Probability Source #
Instance details Defined in Verismith.Config Methods (==) :: Probability -> Probability -> Bool # (/=) :: Probability -> Probability -> Bool #

Expression

data ProbExpr Source #

Probability of different expressions nodes.

Constructors

ProbExpr

Fields

_probExprNum :: !Int
expr.number: probability of generation a number like 4'ha. This should never be set to 0, as it is used as a fallback in case there are no viable identifiers, such as none being in scope.
_probExprId :: !Int
expr.variable: probability of generating an identifier that is in scope and of the right type.
_probExprRangeSelect :: !Int
expr.rangeselect: probability of generating a range selection from a port (reg1[2:0]).
_probExprUnOp :: !Int
expr.unary: probability of generating a unary operator.
_probExprBinOp :: !Int
expr.binary: probability of generation a binary operator.
_probExprCond :: !Int
expr.ternary: probability of generating a conditional ternary operator.
_probExprConcat :: !Int
expr.concatenation: probability of generating a concatenation.
_probExprStr :: !Int
expr.string: probability of generating a string. This is not fully supported therefore currently cannot be set.
_probExprSigned :: !Int
expr.signed: probability of generating a signed function $signed(...).
_probExprUnsigned :: !Int
expr.unsigned: probability of generating an unsigned function $unsigned(...).

Instances

Instances details

Show ProbExpr Source #
Instance details Defined in Verismith.Config Methods showsPrec :: Int -> ProbExpr -> ShowS # show :: ProbExpr -> String # showList :: [ProbExpr] -> ShowS #
Eq ProbExpr Source #
Instance details Defined in Verismith.Config Methods (==) :: ProbExpr -> ProbExpr -> Bool # (/=) :: ProbExpr -> ProbExpr -> Bool #

Module Item

data ProbModItem Source #

Probability of generating different nodes inside a module declaration.

Constructors

ProbModItem

Fields

_probModItemAssign :: !Int
moditem.assign: probability of generating an assign.
_probModItemSeqAlways :: !Int
moditem.sequential: probability of generating a sequential always block.
_probModItemCombAlways :: !Int
moditem.combinational: probability of generating an combinational always block. This is currently not implemented.
_probModItemInst :: !Int
moditem.instantiation: probability of generating a module instantiation.

Instances

Instances details

Show ProbModItem Source #
Instance details Defined in Verismith.Config Methods showsPrec :: Int -> ProbModItem -> ShowS # show :: ProbModItem -> String # showList :: [ProbModItem] -> ShowS #
Eq ProbModItem Source #
Instance details Defined in Verismith.Config Methods (==) :: ProbModItem -> ProbModItem -> Bool # (/=) :: ProbModItem -> ProbModItem -> Bool #

Statement

data ProbStatement Source #

Probability of generating different statements.

Constructors

ProbStatement
Fields _probStmntBlock :: !Int `statement.blocking`: probability of generating blocking assignments. _probStmntNonBlock :: !Int `statement.nonblocking`: probability of generating nonblocking assignments. _probStmntCond :: !Int `statement.conditional`: probability of generating conditional statements (`if` statements). _probStmntFor :: !Int `statement.forloop`: probability of generating for loops.

Instances

Instances details

Show ProbStatement Source #
Instance details Defined in Verismith.Config Methods showsPrec :: Int -> ProbStatement -> ShowS # show :: ProbStatement -> String # showList :: [ProbStatement] -> ShowS #
Eq ProbStatement Source #
Instance details Defined in Verismith.Config Methods (==) :: ProbStatement -> ProbStatement -> Bool # (/=) :: ProbStatement -> ProbStatement -> Bool #

Module

data ProbMod Source #

Probability of generating various properties of a module.

Constructors

ProbMod
Fields _probModDropOutput :: !Int "`module.drop_output`: frequency of a wire or register being dropped from the output." _probModKeepOutput :: !Int "`module.keep_output`: frequency of a wire or register being kept in the output."

Instances

Instances details

Show ProbMod Source #
Instance details Defined in Verismith.Config Methods showsPrec :: Int -> ProbMod -> ShowS # show :: ProbMod -> String # showList :: [ProbMod] -> ShowS #
Eq ProbMod Source #
Instance details Defined in Verismith.Config Methods (==) :: ProbMod -> ProbMod -> Bool # (/=) :: ProbMod -> ProbMod -> Bool #

EMI Configuration

data ConfEMI Source #

Constructors

ConfEMI
Fields _confEMIGenerateProb :: !Int Probability of generating a new EMI statement with a new EMI entry. _confEMINoGenerateProb :: !Int

Instances

Instances details

Show ConfEMI Source #
Instance details Defined in Verismith.Config Methods showsPrec :: Int -> ConfEMI -> ShowS # show :: ConfEMI -> String # showList :: [ConfEMI] -> ShowS #
Eq ConfEMI Source #
Instance details Defined in Verismith.Config Methods (==) :: ConfEMI -> ConfEMI -> Bool # (/=) :: ConfEMI -> ConfEMI -> Bool #

ConfProperty

data ConfProperty Source #

[property]: properties for the generated Verilog file.

Constructors

ConfProperty

Fields

_propSize :: !Int
size: the size of the generated Verilog.
_propSeed :: !(Maybe Seed)
seed: a possible seed that could be used to generate the same Verilog.
_propStmntDepth :: !Int
statement.depth: the maximum statement depth that should be reached.
_propModDepth :: !Int
module.depth: the maximium module depth that should be reached.
_propMaxModules :: !Int
module.max: the maximum number of modules that are allowed to be created at each level.
_propSampleMethod :: !Text
sample.method: the sampling method that should be used to generate specific distributions of random programs.
_propSampleSize :: !Int
sample.size: the number of samples to take for the sampling method.
_propCombine :: !Bool
output.combine: if the output should be combined into one bit or not.
_propNonDeterminism :: !Int
nondeterminism: the frequency at which nondeterminism should be generated (currently a work in progress).
_propDeterminism :: !Int
determinism: the frequency at which determinism should be generated (currently modules are always deterministic).
_propDefaultYosys :: !(Maybe Text)
default.yosys: Default location for Yosys, which will be used for equivalence checking.

Instances

Instances details

Show ConfProperty Source #
Instance details Defined in Verismith.Config Methods showsPrec :: Int -> ConfProperty -> ShowS # show :: ConfProperty -> String # showList :: [ConfProperty] -> ShowS #
Eq ConfProperty Source #
Instance details Defined in Verismith.Config Methods (==) :: ConfProperty -> ConfProperty -> Bool # (/=) :: ConfProperty -> ConfProperty -> Bool #

ConfGarbage

data NumberProbability Source #

Constructors

NPUniform
Fields _NPULow :: !Int _NPUHigh :: !Int
NPBinomial
Fields _NPBOffset :: !Int _NPBTrials :: !Int _NPBSuccess :: !Double
NPNegativeBinomial
Fields _NPNBOffset :: !Int _NPNBFailRate :: !Double _NPNBFailure :: !Int
NPPoisson
Fields _NPPOffset :: !Int _NPPParam :: !Double
NPDiscrete !(NonEmpty (Double, Int))
NPLinearComb !(NonEmpty (Double, NumberProbability))

Instances

Instances details

Show NumberProbability Source #
Instance details Defined in Verismith.Config Methods showsPrec :: Int -> NumberProbability -> ShowS # show :: NumberProbability -> String # showList :: [NumberProbability] -> ShowS #
Eq NumberProbability Source #
Instance details Defined in Verismith.Config Methods (==) :: NumberProbability -> NumberProbability -> Bool # (/=) :: NumberProbability -> NumberProbability -> Bool #

data CategoricalProbability Source #

Constructors

CPDiscrete !(NonEmpty Double)
CPBiasedUniform
Fields _CPBUBiases :: ![(Double, Int)] _CPBUUniformWeight :: Double

Instances

Instances details

Show CategoricalProbability Source #
Instance details Defined in Verismith.Config Methods showsPrec :: Int -> CategoricalProbability -> ShowS # show :: CategoricalProbability -> String # showList :: [CategoricalProbability] -> ShowS #
Eq CategoricalProbability Source #
Instance details Defined in Verismith.Config Methods (==) :: CategoricalProbability -> CategoricalProbability -> Bool # (/=) :: CategoricalProbability -> CategoricalProbability -> Bool #

uniformCP :: CategoricalProbability Source #

data GarbageOpts Source #

Constructors

GarbageOpts

Fields

_goSeed :: !(Maybe (Vector Word32))
_goConfig :: !GarbageConfigOpts
_goPrimitive :: !GarbagePrimitiveOpts
_goModule :: !GarbageModuleOpts
_goSpecify :: !GarbageSpecifyOpts
_goGenerate :: !GarbageGenerateOpts
_goType :: !GarbageTypeOpts
_goStatement :: !GarbageStatementOpts
_goExpr :: !GarbageExprOpts
_goIdentifier :: !GarbageIdentifierOpts
_goDriveStrength :: !CategoricalProbability
_goLValues :: !NumberProbability
_goOptionalLValue :: !Double
_goAttributes :: !NumberProbability
_goAttributeOptionalValue :: !Double
_goDelay :: !CategoricalProbability
_goIntRealIdent :: !CategoricalProbability
_goPathDepth :: !NumberProbability
_goBareMinTypMax :: !Double

Instances

Instances details

Show GarbageOpts Source #
Instance details Defined in Verismith.Config Methods showsPrec :: Int -> GarbageOpts -> ShowS # show :: GarbageOpts -> String # showList :: [GarbageOpts] -> ShowS #
Eq GarbageOpts Source #
Instance details Defined in Verismith.Config Methods (==) :: GarbageOpts -> GarbageOpts -> Bool # (/=) :: GarbageOpts -> GarbageOpts -> Bool #

data GarbageConfigOpts Source #

Constructors

GarbageConfigOpts
Fields _gcoBlocks :: !NumberProbability _gcoDesigns :: !NumberProbability _gcoItems :: !NumberProbability _gcoLibraries :: !NumberProbability _gcoCell_Inst :: !Double _gcoLiblist_Use :: !Double _gcoConfig :: !Double _gcoLibraryScope :: !Double

Instances

Instances details

Show GarbageConfigOpts Source #
Instance details Defined in Verismith.Config Methods showsPrec :: Int -> GarbageConfigOpts -> ShowS # show :: GarbageConfigOpts -> String # showList :: [GarbageConfigOpts] -> ShowS #
Eq GarbageConfigOpts Source #
Instance details Defined in Verismith.Config Methods (==) :: GarbageConfigOpts -> GarbageConfigOpts -> Bool # (/=) :: GarbageConfigOpts -> GarbageConfigOpts -> Bool #

data GarbagePrimitiveOpts Source #

Constructors

GarbagePrimitiveOpts

Fields

_gpoBlocks :: !NumberProbability
_gpoPorts :: !NumberProbability
_gpoPortType :: !CategoricalProbability
_gpoSeq_Comb :: !Double
_gpoRegInit :: !Double
_gpoCombInit :: !CategoricalProbability
_gpoTableRows :: !NumberProbability
_gpoInLevel :: !CategoricalProbability
_gpoOutLevel :: !CategoricalProbability
_gpoEdgeSensitive :: !Double
_gpoEdgeSimplePosNeg :: !CategoricalProbability
_gpoOutputNoChange :: !Double

Instances

Instances details

Show GarbagePrimitiveOpts Source #
Instance details Defined in Verismith.Config Methods showsPrec :: Int -> GarbagePrimitiveOpts -> ShowS # show :: GarbagePrimitiveOpts -> String # showList :: [GarbagePrimitiveOpts] -> ShowS #
Eq GarbagePrimitiveOpts Source #
Instance details Defined in Verismith.Config Methods (==) :: GarbagePrimitiveOpts -> GarbagePrimitiveOpts -> Bool # (/=) :: GarbagePrimitiveOpts -> GarbagePrimitiveOpts -> Bool #

data GarbageModuleOpts Source #

Constructors

GarbageModuleOpts

Fields

_gmoBlocks :: !NumberProbability
_gmoNamed_Positional :: !Double
_gmoParameters :: !NumberProbability
_gmoOptionalParameter :: !Double
_gmoPorts :: !NumberProbability
_gmoPortLValues :: !NumberProbability
_gmoPortRange :: !Double
_gmoPortDir :: !CategoricalProbability
_gmoOptionalPort :: !Double
_gmoItems :: !NumberProbability
_gmoItem :: !CategoricalProbability
_gmoTimeScale :: !Double
_gmoTimeMagnitude :: !CategoricalProbability
_gmoCell :: !Double
_gmoUnconnectedDrive :: !CategoricalProbability
_gmoDefaultNetType :: !CategoricalProbability
_gmoNonAsciiHeader :: !Bool

Instances

Instances details

Show GarbageModuleOpts Source #
Instance details Defined in Verismith.Config Methods showsPrec :: Int -> GarbageModuleOpts -> ShowS # show :: GarbageModuleOpts -> String # showList :: [GarbageModuleOpts] -> ShowS #
Eq GarbageModuleOpts Source #
Instance details Defined in Verismith.Config Methods (==) :: GarbageModuleOpts -> GarbageModuleOpts -> Bool # (/=) :: GarbageModuleOpts -> GarbageModuleOpts -> Bool #

data GarbageSpecifyOpts Source #

Constructors

GarbageSpecifyOpts
Fields _gsyoPath :: !GarbageSpecifyPathOpts _gsyoTimingCheck :: !GarbageSpecifyTimingCheckOpts _gsyoItems :: !NumberProbability _gsyoItem :: !CategoricalProbability _gsyoTermRange :: !Double _gsyoParamRange :: !Double _gsyoPathPulseEscaped_Simple :: !Double _gsyoPathPulseRange :: !Double

Instances

Instances details

Show GarbageSpecifyOpts Source #
Instance details Defined in Verismith.Config Methods showsPrec :: Int -> GarbageSpecifyOpts -> ShowS # show :: GarbageSpecifyOpts -> String # showList :: [GarbageSpecifyOpts] -> ShowS #
Eq GarbageSpecifyOpts Source #
Instance details Defined in Verismith.Config Methods (==) :: GarbageSpecifyOpts -> GarbageSpecifyOpts -> Bool # (/=) :: GarbageSpecifyOpts -> GarbageSpecifyOpts -> Bool #

data GarbageSpecifyPathOpts Source #

Constructors

GarbageSpecifyPathOpts
Fields _gspoCondition :: !CategoricalProbability _gspoFull_Parallel :: !Double _gspoEdgeSensitive :: !Double _gspoFullSources :: !NumberProbability _gspoFullDestinations :: !NumberProbability _gspoPolarity :: !CategoricalProbability _gspoEdgeSensitivity :: !CategoricalProbability _gspoDelayKind :: !CategoricalProbability

Instances

Instances details

Show GarbageSpecifyPathOpts Source #
Instance details Defined in Verismith.Config Methods showsPrec :: Int -> GarbageSpecifyPathOpts -> ShowS # show :: GarbageSpecifyPathOpts -> String # showList :: [GarbageSpecifyPathOpts] -> ShowS #
Eq GarbageSpecifyPathOpts Source #
Instance details Defined in Verismith.Config Methods (==) :: GarbageSpecifyPathOpts -> GarbageSpecifyPathOpts -> Bool # (/=) :: GarbageSpecifyPathOpts -> GarbageSpecifyPathOpts -> Bool #

data GarbageSpecifyTimingCheckOpts Source #

Constructors

GarbageSpecifyTimingCheckOpts
Fields _gstcoOptionalArg :: !Double _gstcoEvent :: !Double _gstcoEventEdge :: !Double _gstcoCondition :: !Double _gstcoCondNeg_Pos :: !Double _gstcoDelayedMinTypMax :: !Double

Instances

Instances details

Show GarbageSpecifyTimingCheckOpts Source #
Instance details Defined in Verismith.Config Methods showsPrec :: Int -> GarbageSpecifyTimingCheckOpts -> ShowS # show :: GarbageSpecifyTimingCheckOpts -> String # showList :: [GarbageSpecifyTimingCheckOpts] -> ShowS #
Eq GarbageSpecifyTimingCheckOpts Source #
Instance details Defined in Verismith.Config Methods (==) :: GarbageSpecifyTimingCheckOpts -> GarbageSpecifyTimingCheckOpts -> Bool # (/=) :: GarbageSpecifyTimingCheckOpts -> GarbageSpecifyTimingCheckOpts -> Bool #

data GarbageGenerateOpts Source #

Constructors

GarbageGenerateOpts

Fields

_ggoAttenuation :: !GarbageAttenuationOpts
_ggoItems :: !NumberProbability
_ggoItem :: !CategoricalProbability
_ggoOptionalBlock :: !Double
_ggoInstOptionalDelay :: !Double
_ggoInstOptionalRange :: !Double
_ggoPrimitiveOptIdent :: !Double
_ggoCondBlock :: !CategoricalProbability
_ggoNetType :: !CategoricalProbability
_ggoNetRange :: !Double
_ggoNetVectoring :: !CategoricalProbability
_ggoDeclItem :: !CategoricalProbability
_ggoDeclDim_Init :: !Double
_ggoChargeStrength :: !CategoricalProbability
_ggoTaskFunAutomatic :: !Double
_ggoTaskFunDecl :: !CategoricalProbability
_ggoTaskFunRegister :: !Double
_ggoTaskFunPorts :: !NumberProbability
_ggoTaskFunPortType :: !CategoricalProbability
_ggoTaskPortDirection :: !CategoricalProbability
_ggoFunRetType :: !Double
_ggoGateInst :: !CategoricalProbability
_ggoGateOptIdent :: !Double
_ggoGateNInputType :: !CategoricalProbability
_ggoGateInputs :: !NumberProbability
_ggoGateOutputs :: !NumberProbability
_ggoCaseBranches :: !NumberProbability
_ggoCaseBranchPatterns :: !NumberProbability

Instances

Instances details

Show GarbageGenerateOpts Source #
Instance details Defined in Verismith.Config Methods showsPrec :: Int -> GarbageGenerateOpts -> ShowS # show :: GarbageGenerateOpts -> String # showList :: [GarbageGenerateOpts] -> ShowS #
Eq GarbageGenerateOpts Source #
Instance details Defined in Verismith.Config Methods (==) :: GarbageGenerateOpts -> GarbageGenerateOpts -> Bool # (/=) :: GarbageGenerateOpts -> GarbageGenerateOpts -> Bool #

data GarbageTypeOpts Source #

Constructors

GarbageTypeOpts
Fields _gtoAbstract_Concrete :: !Double _gtoAbstract :: !CategoricalProbability _gtoConcreteSignedness :: !Double _gtoConcreteBitRange :: !Double _gtoDimensions :: !NumberProbability

Instances

Instances details

Show GarbageTypeOpts Source #
Instance details Defined in Verismith.Config Methods showsPrec :: Int -> GarbageTypeOpts -> ShowS # show :: GarbageTypeOpts -> String # showList :: [GarbageTypeOpts] -> ShowS #
Eq GarbageTypeOpts Source #
Instance details Defined in Verismith.Config Methods (==) :: GarbageTypeOpts -> GarbageTypeOpts -> Bool # (/=) :: GarbageTypeOpts -> GarbageTypeOpts -> Bool #

data GarbageAttenuationOpts Source #

Constructors

GarbageAttenuationOpts
Fields _gaoCurrent :: !Double _gaoDecrease :: !Double

Instances

Instances details

Show GarbageAttenuationOpts Source #
Instance details Defined in Verismith.Config Methods showsPrec :: Int -> GarbageAttenuationOpts -> ShowS # show :: GarbageAttenuationOpts -> String # showList :: [GarbageAttenuationOpts] -> ShowS #
Eq GarbageAttenuationOpts Source #
Instance details Defined in Verismith.Config Methods (==) :: GarbageAttenuationOpts -> GarbageAttenuationOpts -> Bool # (/=) :: GarbageAttenuationOpts -> GarbageAttenuationOpts -> Bool #

data GarbageStatementOpts Source #

Constructors

GarbageStatementOpts

Fields

_gstoAttenuation :: !GarbageAttenuationOpts
_gstoOptional :: !Double
_gstoItem :: !CategoricalProbability
_gstoItems :: !NumberProbability
_gstoOptionalDelEvCtl :: !Double
_gstoAssignmentBlocking :: !Double
_gstoCase :: !CategoricalProbability
_gstoCaseBranches :: !NumberProbability
_gstoCaseBranchPatterns :: !NumberProbability
_gstoLoop :: !CategoricalProbability
_gstoBlockPar_Seq :: !Double
_gstoBlockHeader :: !Double
_gstoBlockDecls :: !NumberProbability
_gstoBlockDecl :: !CategoricalProbability
_gstoProcContAssign :: !CategoricalProbability
_gstoPCAVar_Net :: !Double
_gstoDelayEventRepeat :: !CategoricalProbability
_gstoEvent :: !CategoricalProbability
_gstoEvents :: !NumberProbability
_gstoEventPrefix :: !CategoricalProbability
_gstoSysTaskPorts :: !NumberProbability
_gstoSysTaskOptionalPort :: !Double

Instances

Instances details

Show GarbageStatementOpts Source #
Instance details Defined in Verismith.Config Methods showsPrec :: Int -> GarbageStatementOpts -> ShowS # show :: GarbageStatementOpts -> String # showList :: [GarbageStatementOpts] -> ShowS #
Eq GarbageStatementOpts Source #
Instance details Defined in Verismith.Config Methods (==) :: GarbageStatementOpts -> GarbageStatementOpts -> Bool # (/=) :: GarbageStatementOpts -> GarbageStatementOpts -> Bool #

data GarbageExprOpts Source #

Constructors

GarbageExprOpts

Fields

_geoAttenuation :: !GarbageAttenuationOpts
_geoItem :: !CategoricalProbability
_geoPrimary :: !CategoricalProbability
_geoUnary :: !CategoricalProbability
_geoBinary :: !CategoricalProbability
_geoMinTypMax :: !Double
_geoDimRange :: !Double
_geoRange :: !CategoricalProbability
_geoRangeOffsetPos_Neg :: !Double
_geoConcatenations :: !NumberProbability
_geoSysFunArgs :: !NumberProbability
_geoLiteralWidth :: !CategoricalProbability
_geoLiteralSigned :: !Double
_geoStringCharacters :: !NumberProbability
_geoStringCharacter :: !CategoricalProbability
_geoFixed_Floating :: !Double
_geoExponentSign :: !CategoricalProbability
_geoX_Z :: !Double
_geoBinarySymbols :: !NumberProbability
_geoBinarySymbol :: !CategoricalProbability
_geoOctalSymbols :: !NumberProbability
_geoOctalSymbol :: !CategoricalProbability
_geoDecimalSymbols :: !NumberProbability
_geoDecimalSymbol :: !CategoricalProbability
_geoHexadecimalSymbols :: !NumberProbability
_geoHexadecimalSymbol :: !CategoricalProbability

Instances

Instances details

Show GarbageExprOpts Source #
Instance details Defined in Verismith.Config Methods showsPrec :: Int -> GarbageExprOpts -> ShowS # show :: GarbageExprOpts -> String # showList :: [GarbageExprOpts] -> ShowS #
Eq GarbageExprOpts Source #
Instance details Defined in Verismith.Config Methods (==) :: GarbageExprOpts -> GarbageExprOpts -> Bool # (/=) :: GarbageExprOpts -> GarbageExprOpts -> Bool #

data GarbageIdentifierOpts Source #

Constructors

GarbageIdentifierOpts
Fields _gioEscaped_Simple :: !Double _gioSimpleLetters :: !NumberProbability _gioSimpleLetter :: !CategoricalProbability _gioEscapedLetters :: !NumberProbability _gioEscapedLetter :: !CategoricalProbability _gioSystemLetters :: !NumberProbability _gioSystemFirstLetter :: !CategoricalProbability

Instances

Instances details

Show GarbageIdentifierOpts Source #
Instance details Defined in Verismith.Config Methods showsPrec :: Int -> GarbageIdentifierOpts -> ShowS # show :: GarbageIdentifierOpts -> String # showList :: [GarbageIdentifierOpts] -> ShowS #
Eq GarbageIdentifierOpts Source #
Instance details Defined in Verismith.Config Methods (==) :: GarbageIdentifierOpts -> GarbageIdentifierOpts -> Bool # (/=) :: GarbageIdentifierOpts -> GarbageIdentifierOpts -> Bool #

defGarbageOpts :: GarbageOpts Source #

Simulator Description

data SimDescription Source #

Description of the simulator

Constructors

SimDescription
Fields simName :: !Text

Instances

Instances details

Show SimDescription Source #
Instance details Defined in Verismith.Config Methods showsPrec :: Int -> SimDescription -> ShowS # show :: SimDescription -> String # showList :: [SimDescription] -> ShowS #
Eq SimDescription Source #
Instance details Defined in Verismith.Config Methods (==) :: SimDescription -> SimDescription -> Bool # (/=) :: SimDescription -> SimDescription -> Bool #

Synthesiser Description

data SynthDescription Source #

[[synthesiser]]: description of the synthesis tool. There can be multiple of these sections in a config file.

Constructors

SynthDescription
Fields synthName :: !Text `name`: type of the synthesis tool. Can either be `yosys`, `quartus`, `quartuslight`, `vivado`, `xst`. synthBin :: Maybe Text `bin`: location of the synthesis tool binary. synthDesc :: Maybe Text `description`: description that should be used for the synthesis tool. synthOut :: Maybe Text `output`: name of the output Verilog file.

Instances

Instances details

Show SynthDescription Source #
Instance details Defined in Verismith.Config Methods showsPrec :: Int -> SynthDescription -> ShowS # show :: SynthDescription -> String # showList :: [SynthDescription] -> ShowS #
Eq SynthDescription Source #
Instance details Defined in Verismith.Config Methods (==) :: SynthDescription -> SynthDescription -> Bool # (/=) :: SynthDescription -> SynthDescription -> Bool #