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 |
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) -> Int -> HashMap TmName (Type, Term) -> Maybe TmName -> Maybe TmName -> String -> [(String, FilePath)] -> Component -> IO ([Component], [(String, FilePath)])
Documentation
:: CLaSHOpts | |
-> Supply | |
-> PrimMap BlackBoxTemplate | Primitives |
-> (HashMap TyConName TyCon -> Type -> Maybe (Either String HWType)) | |
-> HashMap TyConName TyCon | |
-> IntMap TyConName | |
-> (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 |
-> [(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