CLaSH.Driver.TestbenchGen

Generate a HDL testbench for a component given a set of stimuli and a set of matching expected outputs

Documentation

genTestBench

Arguments

:: CLaSHOpts

-> Supply

-> PrimMap

Primitives

-> (HashMap TyConName TyCon -> Type -> Maybe (Either String HWType))

-> HashMap TyConName TyCon

-> (HashMap TyConName TyCon -> Bool -> Term -> Term)

-> Int

-> HashMap TmName (Type, Term)

Global binders

-> Maybe TmName

Stimuli

-> Maybe TmName

Expected output

-> String

Name of the module containing the topEntity

-> [(String, FilePath)]

Set of collected data-files

-> Component

Component to generate TB for

-> IO ([Component], [(String, FilePath)])

Generate a HDL testbench for a component given a set of stimuli and a set of matching expected outputs