diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2019-09-18 19:06:32 +0200 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2019-09-18 19:06:32 +0200 |
| commit | 8d96fd2a541a2602544ced741552ebd17714c67d (patch) | |
| tree | 2f53addec05793cf5b3e0274a3e8e9e5f76a7abe /src/Verismith/Sim.hs | |
| parent | d14196cce14d1b4a4a9fba768b9f5238c8626624 (diff) | |
| download | verismith-8d96fd2a541a2602544ced741552ebd17714c67d.tar.gz verismith-8d96fd2a541a2602544ced741552ebd17714c67d.zip | |
Rename main modules
Diffstat (limited to 'src/Verismith/Sim.hs')
| -rw-r--r-- | src/Verismith/Sim.hs | 51 |
1 files changed, 51 insertions, 0 deletions
diff --git a/src/Verismith/Sim.hs b/src/Verismith/Sim.hs new file mode 100644 index 0000000..5e31985 --- /dev/null +++ b/src/Verismith/Sim.hs @@ -0,0 +1,51 @@ +{-| +Module : Verismith.Sim +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.Sim + ( + -- * 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.Sim.Icarus +import Verismith.Sim.Identity +import Verismith.Sim.Internal +import Verismith.Sim.Quartus +import Verismith.Sim.Vivado +import Verismith.Sim.XST +import Verismith.Sim.Yosys |