Copyright | (c) 2019 Yann Herklotz |
---|---|
License | GPL-3 |
Maintainer | yann [at] yannherklotz [dot] com |
Stability | experimental |
Portability | POSIX |
Safe Haskell | None |
Language | Haskell2010 |
Template file for different configuration files.
Documentation
yosysSatConfig :: (Synthesiser a, Synthesiser b) => a -> b -> SourceInfo -> Text Source #
xstSynthConfig :: Text -> Text Source #
sbyConfig :: (Synthesiser a, Synthesiser b) => a -> b -> SourceInfo -> Text Source #
icarusTestbench :: Synthesiser a => Verilog -> a -> Text Source #