diff options
Diffstat (limited to 'src/VeriFuzz/Sim/Env.hs')
-rw-r--r-- | src/VeriFuzz/Sim/Env.hs | 58 |
1 files changed, 0 insertions, 58 deletions
diff --git a/src/VeriFuzz/Sim/Env.hs b/src/VeriFuzz/Sim/Env.hs deleted file mode 100644 index 187afb3..0000000 --- a/src/VeriFuzz/Sim/Env.hs +++ /dev/null @@ -1,58 +0,0 @@ -{-| -Module : VeriFuzz.Sim.Env -Description : Environment to run the simulator and synthesisers in a matrix. -Copyright : (c) 2019, Yann Herklotz -License : GPL-3 -Maintainer : ymherklotz [at] gmail [dot] com -Stability : experimental -Portability : POSIX - -Environment to run the simulator and synthesisers in a matrix. --} - -module VeriFuzz.Sim.Env - ( SynthTool(..) - , SimTool(..) - , SimEnv(..) - , SynthEnv(..) - ) -where - -import Prelude hiding (FilePath) -import Shelly -import VeriFuzz.Sim.Icarus -import VeriFuzz.Sim.Internal -import VeriFuzz.Sim.XST -import VeriFuzz.Sim.Yosys - -data SynthTool = XSTSynth {-# UNPACK #-} !XST - | YosysSynth {-# UNPACK #-} !Yosys - deriving (Eq, Show) - -instance Tool SynthTool where - toText (XSTSynth xst) = toText xst - toText (YosysSynth yosys) = toText yosys - -instance Synthesisor SynthTool where - runSynth (XSTSynth xst) = runSynth xst - runSynth (YosysSynth yosys) = runSynth yosys - -newtype SimTool = IcarusSim Icarus - deriving (Eq, Show) - -instance Tool SimTool where - toText (IcarusSim icarus) = toText icarus - -instance Simulator SimTool where - runSim (IcarusSim icarus) = runSim icarus - runSimWithFile (IcarusSim icarus) = runSimWithFile icarus - -data SimEnv = SimEnv { simTools :: [SimTool] - , simDir :: FilePath - } - -data SynthEnv = SynthEnv { synthTools :: [SynthTool] - , synthDir :: FilePath - } - - |