From fd4b0b5152f94cd406f2e5de86ce7ed0a4d2cbd0 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@ymhg.org>
Date: Tue, 2 Apr 2019 19:47:32 +0100
Subject: Large refactor with passing tests

---
 src/VeriFuzz/Sim.hs | 47 +++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 47 insertions(+)
 create mode 100644 src/VeriFuzz/Sim.hs

(limited to 'src/VeriFuzz/Sim.hs')

diff --git a/src/VeriFuzz/Sim.hs b/src/VeriFuzz/Sim.hs
new file mode 100644
index 0000000..794d8e9
--- /dev/null
+++ b/src/VeriFuzz/Sim.hs
@@ -0,0 +1,47 @@
+{-|
+Module      : VeriFuzz.Sim
+Description : Simulator implementations.
+Copyright   : (c) 2019, Yann Herklotz Grave
+License     : GPL-3
+Maintainer  : ymherklotz [at] gmail [dot] com
+Stability   : experimental
+Portability : POSIX
+
+Simulator implementations.
+-}
+
+module VeriFuzz.Sim
+    ( -- * Environment
+      SynthTool(..)
+    , SimTool(..)
+    , SimEnv(..)
+    , SourceInfo(..)
+    , SynthEnv(..)
+    -- * Simulators
+    -- ** Icarus
+    , Icarus(..)
+    , defaultIcarus
+    -- ** XST
+    , XST(..)
+    , defaultXST
+    -- ** Yosys
+    , Yosys(..)
+    , defaultYosys
+    -- * Reducer
+    , reduce
+    -- * Equivalence
+    , runEquiv
+    -- * Simulation
+    , runSim
+    -- * Synthesis
+    , runSynth
+    , echoP
+    )
+where
+
+import           VeriFuzz.Sim.Env
+import           VeriFuzz.Sim.Icarus
+import           VeriFuzz.Sim.Internal
+import           VeriFuzz.Sim.Reduce
+import           VeriFuzz.Sim.XST
+import           VeriFuzz.Sim.Yosys
-- 
cgit