diff options
author | Yann Herklotz <git@ymhg.org> | 2019-04-15 19:44:04 +0100 |
---|---|---|
committer | Yann Herklotz <git@ymhg.org> | 2019-04-15 19:44:04 +0100 |
commit | 316547a7ed4e7a0d974d846e677059a2237f7ad5 (patch) | |
tree | 967d171db63aa219ce0368d3aae9d1b7e18c1e5b /src/VeriFuzz/Sim | |
parent | 652818f5b23f8f47e6e19c3273b9588ae8f13c7e (diff) | |
download | verismith-316547a7ed4e7a0d974d846e677059a2237f7ad5.tar.gz verismith-316547a7ed4e7a0d974d846e677059a2237f7ad5.zip |
Replace Env by Fuzz
Diffstat (limited to 'src/VeriFuzz/Sim')
-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 - } - - |