clash-lib-0.6.11: CAES Language for Synchronous Hardware - As a Library

Copyright(C) 2013-2016, University of Twente
LicenseBSD2 (see the file LICENSE)
MaintainerChristiaan Baaij <christiaan.baaij@gmail.com>
Safe HaskellNone
LanguageHaskell2010

CLaSH.Driver.TestbenchGen

Description

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

Synopsis

Documentation

genTestBench Source

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, 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