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, 0 insertions, 51 deletions
diff --git a/src/VeriSmith/Sim.hs b/src/VeriSmith/Sim.hs deleted file mode 100644 index f0489d3..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 |