verismith-0.5.0.1: Random verilog generation and simulator testing.

Copyright(c) 2018-2019 Yann Herklotz
LicenseBSD-3
Maintaineryann [at] yannherklotz [dot] com
Stabilityexperimental
PortabilityPOSIX
Safe HaskellNone
LanguageHaskell2010

Verismith.Tool.XST

Description

XST (ise) simulator implementation.

Documentation

data XST Source #

Constructors

XST 

Fields

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 #