| Copyright | (c) 2018-2019 Yann Herklotz |
|---|---|
| License | GPL-3 |
| Maintainer | yann [at] yannherklotz [dot] com |
| Stability | experimental |
| Portability | POSIX |
| Safe Haskell | None |
| Language | Haskell2010 |
Verismith.Tool.Icarus
Description
Icarus verilog module.
Documentation
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 # | |
Arguments
| :: (Synthesiser b, Show ann) | |
| => FilePath | Data directory. |
| -> Icarus | Icarus simulator. |
| -> b | Synthesis tool to be tested. |
| -> SourceInfo ann | 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 |
| -> ResultSh ByteString |
Arguments
| :: (Synthesiser b, Show ann) | |
| => [Identifier] | EMI Ids |
| -> FilePath | Data directory. |
| -> Icarus | Icarus simulator. |
| -> b | Synthesis tool to be tested. |
| -> SourceInfo ann | 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 |
| -> ResultSh ByteString |
runSimIcEC :: (Synthesiser b, Show ann) => FilePath -> Icarus -> b -> SourceInfo ann -> CounterEg -> Maybe ByteString -> ResultSh ByteString Source #