verismith-0.5.0.0: Random verilog generation and simulator testing.

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

Verismith.Tool.Identity

Description

The identity simulator and synthesiser.

Documentation

data Identity Source #

Constructors

Identity 

Fields

Instances
Eq Identity Source # 
Instance details

Defined in Verismith.Tool.Identity

Methods

(==) :: Identity -> Identity -> Bool #

(/=) :: Identity -> Identity -> Bool #

Show Identity Source # 
Instance details

Defined in Verismith.Tool.Identity

Methods

showsPrec :: Int -> Identity -> ShowS #

show :: Identity -> String #

showList :: [Identity] -> ShowS #

NFData Identity Source # 
Instance details

Defined in Verismith.Tool.Identity

Methods

rnf :: Identity -> () #

Synthesiser Identity Source # 
Instance details

Defined in Verismith.Tool.Identity

Methods

runSynth :: Identity -> SourceInfo -> ResultSh () Source #

synthOutput :: Identity -> FilePath Source #

setSynthOutput :: Identity -> FilePath -> Identity Source #

Tool Identity Source # 
Instance details

Defined in Verismith.Tool.Identity

Methods

toText :: Identity -> Text Source #

defaultIdentity :: Identity Source #