| Copyright | (C) 2013-2016, University of Twente |
|---|---|
| License | BSD2 (see the file LICENSE) |
| Maintainer | Christiaan Baaij <christiaan.baaij@gmail.com> |
| 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
- genTestBench :: CLaSHOpts -> Supply -> PrimMap BlackBoxTemplate -> (HashMap TyConName TyCon -> Type -> Maybe (Either String HWType)) -> HashMap TyConName TyCon -> IntMap TyConName -> (HashMap TyConName TyCon -> Bool -> Term -> Term) -> (Identifier -> Identifier) -> [Identifier] -> HashMap TmName (Type, SrcSpan, Term) -> Maybe TmName -> Maybe TmName -> String -> [(String, FilePath)] -> Component -> IO ([(SrcSpan, Component)], [(String, FilePath)])
Documentation
Arguments
| :: CLaSHOpts | |
| -> Supply | |
| -> PrimMap BlackBoxTemplate | Primitives |
| -> (HashMap TyConName TyCon -> Type -> Maybe (Either String HWType)) | |
| -> HashMap TyConName TyCon | |
| -> IntMap TyConName | |
| -> (HashMap TyConName TyCon -> Bool -> Term -> Term) | |
| -> (Identifier -> Identifier) | |
| -> [Identifier] | |
| -> HashMap TmName (Type, SrcSpan, Term) | Global binders |
| -> Maybe TmName | Stimuli |
| -> Maybe TmName | Expected output |
| -> String | Name of the module containing the |
| -> [(String, FilePath)] | Set of collected data-files |
| -> Component | Component to generate TB for |
| -> IO ([(SrcSpan, Component)], [(String, FilePath)]) |
Generate a HDL testbench for a component given a set of stimuli and a set of matching expected outputs