From a2b01b92612a098673ff03890e6e8aef4ceb28ea Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Wed, 4 Sep 2019 20:15:51 +1000
Subject: Renaming to VeriSmith

---
 src/VeriFuzz/Sim/Quartus.hs | 77 ---------------------------------------------
 1 file changed, 77 deletions(-)
 delete mode 100644 src/VeriFuzz/Sim/Quartus.hs

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

diff --git a/src/VeriFuzz/Sim/Quartus.hs b/src/VeriFuzz/Sim/Quartus.hs
deleted file mode 100644
index 6837133..0000000
--- a/src/VeriFuzz/Sim/Quartus.hs
+++ /dev/null
@@ -1,77 +0,0 @@
-{-|
-Module      : VeriSmith.Sim.Quartus
-Description : Quartus synthesiser implementation.
-Copyright   : (c) 2019, Yann Herklotz Grave
-License     : GPL-3
-Maintainer  : yann [at] yannherklotz [dot] com
-Stability   : experimental
-Portability : POSIX
-
-Quartus synthesiser implementation.
--}
-
-module VeriSmith.Sim.Quartus
-    ( Quartus(..)
-    , defaultQuartus
-    )
-where
-
-import           Control.DeepSeq           (NFData, rnf, rwhnf)
-import           Data.Text                 (Text, unpack)
-import           Prelude                   hiding (FilePath)
-import           Shelly
-import           Shelly.Lifted             (liftSh)
-import           VeriSmith.Sim.Internal
-import           VeriSmith.Verilog.AST
-import           VeriSmith.Verilog.CodeGen
-
-data Quartus = Quartus { quartusBin    :: !(Maybe FilePath)
-                       , quartusDesc   :: {-# UNPACK #-} !Text
-                       , quartusOutput :: {-# UNPACK #-} !FilePath
-                       }
-                deriving (Eq)
-
-instance Tool Quartus where
-    toText (Quartus _ t _) = t
-
-instance Show Quartus where
-    show t = unpack $ toText t
-
-instance Synthesiser Quartus where
-    runSynth = runSynthQuartus
-    synthOutput = quartusOutput
-    setSynthOutput (Quartus a b _) = Quartus a b
-
-instance NFData Quartus where
-    rnf = rwhnf
-
-defaultQuartus :: Quartus
-defaultQuartus = Quartus Nothing "quartus" "syn_quartus.v"
-
-runSynthQuartus :: Quartus -> SourceInfo -> ResultSh ()
-runSynthQuartus sim (SourceInfo top src) = do
-    dir <- liftSh pwd
-    let ex = execute_ SynthFail dir "quartus"
-    liftSh . writefile inpf $ genSource src
-    liftSh . noPrint $ run_
-        "sed"
-        [ "-i"
-        , "s/^module/(* multstyle = \"logic\" *) module/;"
-        , toTextIgnore inpf
-        ]
-    ex (exec "quartus_map")
-       [top, "--source=" <> toTextIgnore inpf, "--family=Cyclone V"]
-    ex (exec "quartus_fit") [top, "--part=5CGXFC7D6F31C6"]
-    ex (exec "quartus_eda") [top, "--simulation", "--tool=vcs"]
-    liftSh $ do
-        cp (fromText "simulation/vcs" </> fromText top <.> "vo")
-            $ synthOutput sim
-        run_
-            "sed"
-            [ "-ri"
-            , "s,^// DATE.*,,; s,^tri1 (.*);,wire \\1 = 1;,; /^\\/\\/ +synopsys/ d;"
-            , toTextIgnore $ synthOutput sim
-            ]
-  where
-    inpf = "rtl.v"
-    exec s = maybe (fromText s) (</> fromText s) $ quartusBin sim
-- 
cgit