verismith-0.5.0.1: 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

Contents

Description

Simulator implementations.

Synopsis

Simulators

Icarus

data Icarus Source #

Constructors

Icarus 
Instances
Eq Icarus Source # 
Instance details

Defined in Verismith.Tool.Icarus

Methods

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

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

Show Icarus Source # 
Instance details

Defined in Verismith.Tool.Icarus

NFData Icarus Source # 
Instance details

Defined in Verismith.Tool.Icarus

Methods

rnf :: Icarus -> () #

Simulator Icarus Source # 
Instance details

Defined in Verismith.Tool.Icarus

Tool Icarus Source # 
Instance details

Defined in Verismith.Tool.Icarus

Methods

toText :: Icarus -> Text Source #

Synthesisers

Yosys

data Yosys Source #

Constructors

Yosys 
Instances
Eq Yosys Source # 
Instance details

Defined in Verismith.Tool.Yosys

Methods

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

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

Show Yosys Source # 
Instance details

Defined in Verismith.Tool.Yosys

Methods

showsPrec :: Int -> Yosys -> ShowS #

show :: Yosys -> String #

showList :: [Yosys] -> ShowS #

NFData Yosys Source # 
Instance details

Defined in Verismith.Tool.Yosys

Methods

rnf :: Yosys -> () #

Synthesiser Yosys Source # 
Instance details

Defined in Verismith.Tool.Yosys

Tool Yosys Source # 
Instance details

Defined in Verismith.Tool.Yosys

Methods

toText :: Yosys -> Text Source #

Vivado

data Vivado Source #

Constructors

Vivado 
Instances
Eq Vivado Source # 
Instance details

Defined in Verismith.Tool.Vivado

Methods

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

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

Show Vivado Source # 
Instance details

Defined in Verismith.Tool.Vivado

NFData Vivado Source # 
Instance details

Defined in Verismith.Tool.Vivado

Methods

rnf :: Vivado -> () #

Synthesiser Vivado Source # 
Instance details

Defined in Verismith.Tool.Vivado

Tool Vivado Source # 
Instance details

Defined in Verismith.Tool.Vivado

Methods

toText :: Vivado -> Text Source #

XST

data XST Source #

Constructors

XST 
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

Tool XST Source # 
Instance details

Defined in Verismith.Tool.XST

Methods

toText :: XST -> Text Source #

Quartus

data Quartus Source #

Constructors

Quartus 
Instances
Eq Quartus Source # 
Instance details

Defined in Verismith.Tool.Quartus

Methods

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

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

Show Quartus Source # 
Instance details

Defined in Verismith.Tool.Quartus

NFData Quartus Source # 
Instance details

Defined in Verismith.Tool.Quartus

Methods

rnf :: Quartus -> () #

Synthesiser Quartus Source # 
Instance details

Defined in Verismith.Tool.Quartus

Tool Quartus Source # 
Instance details

Defined in Verismith.Tool.Quartus

Methods

toText :: Quartus -> Text Source #

Quartus Light

Identity

data Identity Source #

Constructors

Identity 
Instances
Eq Identity Source # 
Instance details

Defined in Verismith.Tool.Identity

Show Identity Source # 
Instance details

Defined in Verismith.Tool.Identity

NFData Identity Source # 
Instance details

Defined in Verismith.Tool.Identity

Methods

rnf :: Identity -> () #

Synthesiser Identity Source # 
Instance details

Defined in Verismith.Tool.Identity

Tool Identity Source # 
Instance details

Defined in Verismith.Tool.Identity

Methods

toText :: Identity -> Text Source #

Equivalence

Simulation

runSim Source #

Arguments

:: Simulator a 
=> a

Simulator instance

-> SourceInfo

Run information

-> [ByteString]

Inputs to simulate

-> ResultSh ByteString

Returns the value of the hash at the output of the testbench.

Synthesis

runSynth Source #

Arguments

:: Synthesiser a 
=> a

Synthesiser tool instance

-> SourceInfo

Run information

-> ResultSh ()

does not return any values

logger :: Text -> Sh () Source #