Verismith.Config

TOML Configuration file format and parser.

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:

• Quartus
• ISE Design Suite
• Vivado Design Suite
• Yosys Open SYnthesis Suite

data Config

Constructors

Config

Fields

• _configInfo :: Info
• _configProbability :: !Probability
• _configProperty :: !ConfProperty
• _configSimulators :: [SimDescription]
• _configSynthesisers :: [SynthDescription]

Instances

Eq Config

Defined in Verismith.Config

Methods

(==) :: Config -> Config -> Bool

(/=) :: Config -> Config -> Bool

Show Config

Defined in Verismith.Config

Methods

showsPrec :: Int -> Config -> ShowS

show :: Config -> String

showList :: [Config] -> ShowS

defaultConfig :: Config

Probabilities

data Probability

Constructors

Probability

Fields

• _probModItem :: !ProbModItem
• _probStmnt :: !ProbStatement
• _probExpr :: !ProbExpr

Instances

Eq Probability

Defined in Verismith.Config

Methods

(==) :: Probability -> Probability -> Bool

(/=) :: Probability -> Probability -> Bool

Show Probability

Defined in Verismith.Config

Methods

showsPrec :: Int -> Probability -> ShowS

show :: Probability -> String

showList :: [Probability] -> ShowS

Expression

data ProbExpr

Probability of different expressions nodes.

Constructors

ProbExpr

Fields

• _probExprNum :: !Int

  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

  Probability of generating an identifier that is in scope and of the right type.

• _probExprRangeSelect :: !Int

  Probability of generating a range selection from a port.

• _probExprUnOp :: !Int

  Probability of generating a unary operator.

• _probExprBinOp :: !Int

  Probability of generation a binary operator.

• _probExprCond :: !Int

  probability of generating a conditional ternary operator.

• _probExprConcat :: !Int

  Probability of generating a concatenation.

• _probExprStr :: !Int

  Probability of generating a string. This is not fully supported therefore currently cannot be set.

• _probExprSigned :: !Int

  Probability of generating a signed function $signed(...).

• _probExprUnsigned :: !Int

  Probability of generating an unsigned function $unsigned(...).

Instances

Eq ProbExpr

Defined in Verismith.Config

Methods

(==) :: ProbExpr -> ProbExpr -> Bool

(/=) :: ProbExpr -> ProbExpr -> Bool

Show ProbExpr

Defined in Verismith.Config

Methods

showsPrec :: Int -> ProbExpr -> ShowS

show :: ProbExpr -> String

showList :: [ProbExpr] -> ShowS

Module Item

data ProbModItem

Probability of generating different nodes inside a module declaration.

Constructors

ProbModItem

Fields

• _probModItemAssign :: !Int

  Probability of generating an assign.

• _probModItemSeqAlways :: !Int

  Probability of generating a sequential always block.

• _probModItemCombAlways :: !Int

  Probability of generating an combinational always block.

• _probModItemInst :: !Int

  Probability of generating a module instantiation.

Instances

Eq ProbModItem

Defined in Verismith.Config

Methods

(==) :: ProbModItem -> ProbModItem -> Bool

(/=) :: ProbModItem -> ProbModItem -> Bool

Show ProbModItem

Defined in Verismith.Config

Methods

showsPrec :: Int -> ProbModItem -> ShowS

show :: ProbModItem -> String

showList :: [ProbModItem] -> ShowS

Statement

data ProbStatement

Constructors

ProbStatement

Fields

• _probStmntBlock :: !Int
• _probStmntNonBlock :: !Int
• _probStmntCond :: !Int
• _probStmntFor :: !Int

Instances

Eq ProbStatement

Defined in Verismith.Config

Methods

(==) :: ProbStatement -> ProbStatement -> Bool

(/=) :: ProbStatement -> ProbStatement -> Bool

Show ProbStatement

Defined in Verismith.Config

Methods

showsPrec :: Int -> ProbStatement -> ShowS

show :: ProbStatement -> String

showList :: [ProbStatement] -> ShowS

ConfProperty

data ConfProperty

Constructors

ConfProperty

Fields

• _propSize :: !Int

  The size of the generated Verilog.

• _propSeed :: !(Maybe Seed)

  A possible seed that could be used to generate the same Verilog.

• _propStmntDepth :: !Int

  The maximum statement depth that should be reached.

• _propModDepth :: !Int

  The maximium module depth that should be reached.

• _propMaxModules :: !Int

  The maximum number of modules that are allowed to be created at each level.

• _propSampleMethod :: !Text

  The sampling method that should be used to generate specific distributions of random programs.

• _propSampleSize :: !Int

  The number of samples to take for the sampling method.

• _propCombine :: !Bool

  If the output should be combined into one bit or not.

• _propNonDeterminism :: !Int

  The frequency at which nondeterminism should be generated.

• _propDeterminism :: !Int

  The frequency at which determinism should be generated.

Instances

Eq ConfProperty

Defined in Verismith.Config

Methods

(==) :: ConfProperty -> ConfProperty -> Bool

(/=) :: ConfProperty -> ConfProperty -> Bool

Show ConfProperty

Defined in Verismith.Config

Methods

showsPrec :: Int -> ConfProperty -> ShowS

show :: ConfProperty -> String

showList :: [ConfProperty] -> ShowS

Simulator Description

data SimDescription

Constructors

SimDescription

Fields

• simName :: !Text

Instances

Eq SimDescription

Defined in Verismith.Config

Methods

(==) :: SimDescription -> SimDescription -> Bool

(/=) :: SimDescription -> SimDescription -> Bool

Show SimDescription

Defined in Verismith.Config

Methods

showsPrec :: Int -> SimDescription -> ShowS

show :: SimDescription -> String

showList :: [SimDescription] -> ShowS

Synthesiser Description

data SynthDescription

Constructors

SynthDescription

Fields

• synthName :: !Text
• synthBin :: Maybe Text
• synthDesc :: Maybe Text
• synthOut :: Maybe Text

Instances

Eq SynthDescription

Defined in Verismith.Config

Methods

(==) :: SynthDescription -> SynthDescription -> Bool

(/=) :: SynthDescription -> SynthDescription -> Bool

Show SynthDescription

Defined in Verismith.Config

Methods

showsPrec :: Int -> SynthDescription -> ShowS

show :: SynthDescription -> String

showList :: [SynthDescription] -> ShowS

Useful Lenses

fromXST :: XST -> SynthDescription

fromYosys :: Yosys -> SynthDescription

fromVivado :: Vivado -> SynthDescription

fromQuartus :: Quartus -> SynthDescription

fromQuartusLight :: QuartusLight -> SynthDescription

configProbability :: Lens' Config Probability

configProperty :: Lens' Config ConfProperty

configSimulators :: Lens' Config [SimDescription]

configSynthesisers :: Lens' Config [SynthDescription]

probModItem :: Lens' Probability ProbModItem

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

parseConfigFile :: FilePath -> IO Config

parseConfig :: Text -> Config

encodeConfig :: Config -> Text

encodeConfigFile :: FilePath -> Config -> IO ()

versionInfo :: String