Copyright | (c) 2018-2019 Yann Herklotz |
---|---|
License | BSD-3 |
Maintainer | yann [at] yannherklotz [dot] com |
Stability | experimental |
Portability | POSIX |
Safe Haskell | None |
Language | Haskell2010 |
Yosys simulator implementation.
Documentation
defaultYosys :: Yosys Source #
runEquiv :: (Synthesiser a, Synthesiser b) => FilePath -> a -> b -> SourceInfo -> ResultSh () Source #
runEquivYosys :: (Synthesiser a, Synthesiser b) => Yosys -> a -> b -> SourceInfo -> ResultSh () Source #