verismith-0.4.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.Sim.Icarus

Description

Icarus verilog module.

Documentation

data Icarus Source #

Constructors

Icarus
Fields icarusPath :: FilePath vvpPath :: FilePath

Instances

Eq Icarus Source #
Instance details Defined in Verismith.Sim.Icarus Methods (==) :: Icarus -> Icarus -> Bool # (/=) :: Icarus -> Icarus -> Bool #
Show Icarus Source #
Instance details Defined in Verismith.Sim.Icarus Methods showsPrec :: Int -> Icarus -> ShowS # show :: Icarus -> String # showList :: [Icarus] -> ShowS #
NFData Icarus Source #
Instance details Defined in Verismith.Sim.Icarus Methods rnf :: Icarus -> () #
Simulator Icarus Source #
Instance details Defined in Verismith.Sim.Icarus Methods runSim :: Icarus -> SourceInfo -> [ByteString] -> ResultSh ByteString Source # runSimWithFile :: Icarus -> FilePath -> [ByteString] -> ResultSh ByteString Source #
Tool Icarus Source #
Instance details Defined in Verismith.Sim.Icarus Methods toText :: Icarus -> Text Source #

defaultIcarus :: Icarus Source #

runSimIc :: Synthesiser b => Icarus -> b -> SourceInfo -> [ByteString] -> ResultSh ByteString Source #