Copyright | (c) 2019 Yann Herklotz Grave |
---|---|
License | GPL-3 |
Maintainer | yann [at] yannherklotz [dot] com |
Stability | experimental |
Portability | POSIX |
Safe Haskell | None |
Language | Haskell2010 |
Verismith.Tool
Description
Simulator implementations.
Synopsis
- data Icarus = Icarus {}
- defaultIcarus :: Icarus
- data Yosys = Yosys {}
- defaultYosys :: Yosys
- data Vivado = Vivado {
- vivadoBin :: !(Maybe FilePath)
- vivadoDesc :: !Text
- vivadoOutput :: !FilePath
- defaultVivado :: Vivado
- data XST = XST {}
- defaultXST :: XST
- data Quartus = Quartus {
- quartusBin :: !(Maybe FilePath)
- quartusDesc :: !Text
- quartusOutput :: !FilePath
- defaultQuartus :: Quartus
- data QuartusLight = QuartusLight {}
- defaultQuartusLight :: QuartusLight
- data Identity = Identity {
- identityDesc :: !Text
- identityOutput :: !FilePath
- defaultIdentity :: Identity
- runEquiv :: (Synthesiser a, Synthesiser b, Show ann) => Maybe Text -> FilePath -> a -> b -> SourceInfo ann -> ResultSh ()
- runSim :: (Simulator a, Show ann) => a -> SourceInfo ann -> [ByteString] -> ResultSh ByteString
- runSynth :: (Synthesiser a, Show ann) => a -> SourceInfo ann -> ResultSh ()
- logger :: Text -> Sh ()
Simulators
Icarus
Constructors
Icarus | |
Fields
|
Instances
Show Icarus Source # | |
NFData Icarus Source # | |
Defined in Verismith.Tool.Icarus | |
Eq Icarus Source # | |
Simulator Icarus Source # | |
Defined in Verismith.Tool.Icarus Methods runSim :: Show ann => Icarus -> SourceInfo ann -> [ByteString] -> ResultSh ByteString Source # runSimWithFile :: Icarus -> FilePath -> [ByteString] -> ResultSh ByteString Source # | |
Tool Icarus Source # | |
Synthesisers
Yosys
defaultYosys :: Yosys Source #
Vivado
Constructors
Vivado | |
Fields
|
XST
defaultXST :: XST Source #
Quartus
Constructors
Quartus | |
Fields
|
Quartus Light
data QuartusLight Source #
Constructors
QuartusLight | |
Fields
|
Instances
Show QuartusLight Source # | |
Defined in Verismith.Tool.QuartusLight Methods showsPrec :: Int -> QuartusLight -> ShowS # show :: QuartusLight -> String # showList :: [QuartusLight] -> ShowS # | |
NFData QuartusLight Source # | |
Defined in Verismith.Tool.QuartusLight Methods rnf :: QuartusLight -> () # | |
Eq QuartusLight Source # | |
Defined in Verismith.Tool.QuartusLight | |
Synthesiser QuartusLight Source # | |
Defined in Verismith.Tool.QuartusLight Methods runSynth :: Show ann => QuartusLight -> SourceInfo ann -> ResultSh () Source # synthOutput :: QuartusLight -> FilePath Source # setSynthOutput :: QuartusLight -> FilePath -> QuartusLight Source # | |
Tool QuartusLight Source # | |
Defined in Verismith.Tool.QuartusLight Methods toText :: QuartusLight -> Text Source # |
Identity
Constructors
Identity | |
Fields
|
Equivalence
runEquiv :: (Synthesiser a, Synthesiser b, Show ann) => Maybe Text -> FilePath -> a -> b -> SourceInfo ann -> ResultSh () Source #
Simulation
Arguments
:: (Simulator a, Show ann) | |
=> a | Simulator instance |
-> SourceInfo ann | Run information |
-> [ByteString] | Inputs to simulate |
-> ResultSh ByteString | Returns the value of the hash at the output of the testbench. |
Synthesis
Arguments
:: (Synthesiser a, Show ann) | |
=> a | Synthesiser tool instance |
-> SourceInfo ann | Run information |
-> ResultSh () | does not return any values |