diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2019-10-18 14:29:07 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2019-10-18 14:29:07 +0100 |
| commit | e7f57642f068650ea362201b239efad1c9a841d9 (patch) | |
| tree | 2d68c28c0644089b9afcfc21fc05f88d50ef6703 /src/Verismith/Sim.hs | |
| parent | 349c1fa290c068a0f4100469e7485d062dd995ce (diff) | |
| download | verismith-e7f57642f068650ea362201b239efad1c9a841d9.tar.gz verismith-e7f57642f068650ea362201b239efad1c9a841d9.zip | |
Rename Sim to Tool
Diffstat (limited to 'src/Verismith/Sim.hs')
| -rw-r--r-- | src/Verismith/Sim.hs | 51 |
1 files changed, 0 insertions, 51 deletions
diff --git a/src/Verismith/Sim.hs b/src/Verismith/Sim.hs deleted file mode 100644 index 5e31985..0000000 --- a/src/Verismith/Sim.hs +++ /dev/null @@ -1,51 +0,0 @@ -{-| -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 |