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
yosysSynthConfigStd :: Synthesiser a => a -> FilePath -> Text Source #
yosysSatConfig :: (Synthesiser a, Synthesiser b) => a -> b -> SourceInfo -> Text Source #
quartusLightSynthConfig :: Synthesiser a => a -> FilePath -> Text -> FilePath -> Text Source #
quartusSynthConfig :: Synthesiser a => a -> FilePath -> Text -> FilePath -> Text Source #
xstSynthConfig :: Text -> Text Source #
sbyConfig :: (Synthesiser a, Synthesiser b) => Maybe Text -> FilePath -> a -> b -> SourceInfo -> Text Source #
icarusTestbench :: Synthesiser a => FilePath -> Verilog -> a -> Text Source #