Verismith.Tool.Icarus

Icarus verilog module.

Documentation

data Icarus

Constructors

Icarus

Fields

• icarusPath :: FilePath
• vvpPath :: FilePath

Instances

Eq Icarus

Defined in Verismith.Tool.Icarus

Methods

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

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

Show Icarus

Defined in Verismith.Tool.Icarus

Methods

showsPrec :: Int -> Icarus -> ShowS

show :: Icarus -> String

showList :: [Icarus] -> ShowS

NFData Icarus

Defined in Verismith.Tool.Icarus

Methods

rnf :: Icarus -> ()

Simulator Icarus

Defined in Verismith.Tool.Icarus

Methods

runSim :: Icarus -> SourceInfo -> [ByteString] -> ResultSh ByteString

runSimWithFile :: Icarus -> FilePath -> [ByteString] -> ResultSh ByteString

Tool Icarus

Defined in Verismith.Tool.Icarus

Methods

toText :: Icarus -> Text

defaultIcarus :: Icarus

runSimIc

Arguments

:: Synthesiser b

=> FilePath

Data directory.

-> Icarus

Icarus simulator.

-> b

Synthesis tool to be tested.

-> SourceInfo

Original generated program to test.

-> [ByteString]

Test vectors to be passed as inputs to the generated Verilog.

-> Maybe ByteString

What the correct output should be. If Nothing is passed, then just return 'Pass ByteString' with the answer.

-> ResultSh ByteString

runSimIcEC :: Synthesiser b => FilePath -> Icarus -> b -> SourceInfo -> CounterEg -> Maybe ByteString -> ResultSh ByteString