| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
CLaSH.Driver.TestbenchGen
Description
Generate a HDL testbench for a component given a set of stimuli and a set of matching expected outputs
Documentation
Arguments
| :: DebugLevel | |
| -> Supply | |
| -> PrimMap | Primitives |
| -> (HashMap TyConName TyCon -> Type -> Maybe (Either String HWType)) | |
| -> HashMap TyConName TyCon | |
| -> (HashMap TyConName TyCon -> Term -> Term) | |
| -> Int | |
| -> HashMap TmName (Type, Term) | Global binders |
| -> Maybe TmName | Stimuli |
| -> Maybe TmName | Expected output |
| -> Component | Component to generate TB for |
| -> IO [Component] |
Generate a HDL testbench for a component given a set of stimuli and a set of matching expected outputs