diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2019-10-29 12:06:05 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2019-10-29 12:06:05 +0000 |
| commit | 4ee6646b8a78d4c20fe0b89d95f23d382e1c47fc (patch) | |
| tree | 9b02e1b92f8abf0baf3dc108ab7f4fb8f33e753a /src/Verismith/Tool.hs | |
| parent | 1aaff80235237507572e0fb4be86f34cb1829b68 (diff) | |
| parent | 01c2ab3f6a58d416528efce3057e2cf2f1604489 (diff) | |
| download | verismith-4ee6646b8a78d4c20fe0b89d95f23d382e1c47fc.tar.gz verismith-4ee6646b8a78d4c20fe0b89d95f23d382e1c47fc.zip | |
Merge branch 'master' into HEADfeature/nondeterminism
Diffstat (limited to 'src/Verismith/Tool.hs')
| -rw-r--r-- | src/Verismith/Tool.hs | 51 |
1 files changed, 51 insertions, 0 deletions
diff --git a/src/Verismith/Tool.hs b/src/Verismith/Tool.hs new file mode 100644 index 0000000..7e41180 --- /dev/null +++ b/src/Verismith/Tool.hs @@ -0,0 +1,51 @@ +{-| +Module : Verismith.Tool +Description : Simulator implementations. +Copyright : (c) 2019, Yann Herklotz Grave +License : GPL-3 +Maintainer : yann [at] yannherklotz [dot] com +Stability : experimental +Portability : POSIX + +Simulator implementations. +-} + +module Verismith.Tool + ( + -- * Simulators + -- ** Icarus + Icarus(..) + , defaultIcarus + -- * Synthesisers + -- ** Yosys + , Yosys(..) + , defaultYosys + -- ** Vivado + , Vivado(..) + , defaultVivado + -- ** XST + , XST(..) + , defaultXST + -- ** Quartus + , Quartus(..) + , defaultQuartus + -- ** Identity + , Identity(..) + , defaultIdentity + -- * Equivalence + , runEquiv + -- * Simulation + , runSim + -- * Synthesis + , runSynth + , logger + ) +where + +import Verismith.Tool.Icarus +import Verismith.Tool.Identity +import Verismith.Tool.Internal +import Verismith.Tool.Quartus +import Verismith.Tool.Vivado +import Verismith.Tool.XST +import Verismith.Tool.Yosys |