verismith-0.5.0.0: Random verilog generation and simulator testing.

Copyright	(c) 2018-2019 Yann Herklotz
License	BSD-3
Maintainer	yann [at] yannherklotz [dot] com
Stability	experimental
Portability	POSIX
Safe Haskell	None
Language	Haskell2010

Verismith.Tool.XST

Description

XST (ise) simulator implementation.

Documentation

data XST Source #

Constructors

XST
Fields xstBin :: !(Maybe FilePath) xstDesc :: !Text xstOutput :: !FilePath

Instances

Eq XST Source #
Instance details Defined in Verismith.Tool.XST Methods (==) :: XST -> XST -> Bool # (/=) :: XST -> XST -> Bool #
Show XST Source #
Instance details Defined in Verismith.Tool.XST Methods showsPrec :: Int -> XST -> ShowS # show :: XST -> String # showList :: [XST] -> ShowS #
NFData XST Source #
Instance details Defined in Verismith.Tool.XST Methods rnf :: XST -> () #
Synthesiser XST Source #
Instance details Defined in Verismith.Tool.XST Methods runSynth :: XST -> SourceInfo -> ResultSh () Source # synthOutput :: XST -> FilePath Source # setSynthOutput :: XST -> FilePath -> XST Source #
Tool XST Source #
Instance details Defined in Verismith.Tool.XST Methods toText :: XST -> Text Source #

defaultXST :: XST Source #