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/Icarus.hs | 107 -------------------------------------------------
 1 file changed, 107 deletions(-)
 delete mode 100644 src/VeriFuzz/Icarus.hs

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

diff --git a/src/VeriFuzz/Icarus.hs b/src/VeriFuzz/Icarus.hs
deleted file mode 100644
index 47159b3..0000000
--- a/src/VeriFuzz/Icarus.hs
+++ /dev/null
@@ -1,107 +0,0 @@
-{-|
-Module      : VeriFuzz.Icarus
-Description : Icarus verilog module.
-Copyright   : (c) 2018-2019, Yann Herklotz
-License     : BSD-3
-Maintainer  : ymherklotz [at] gmail [dot] com
-Stability   : experimental
-Portability : POSIX
-
-Icarus verilog module.
--}
-
-module VeriFuzz.Icarus where
-
-import           Control.Lens
-import           Crypto.Hash            (Digest, hash)
-import           Crypto.Hash.Algorithms (SHA256)
-import           Data.Binary            (encode)
-import qualified Data.ByteArray         as BA (convert)
-import           Data.ByteString        (ByteString)
-import qualified Data.ByteString        as B
-import           Data.ByteString.Lazy   (toStrict)
-import qualified Data.ByteString.Lazy   as L (ByteString)
-import           Data.Char              (digitToInt)
-import           Data.Foldable          (fold)
-import           Data.List              (transpose)
-import           Data.Maybe             (listToMaybe)
-import           Data.Text              (Text)
-import qualified Data.Text              as T
-import           Numeric                (readInt)
-import           Prelude                hiding (FilePath)
-import           Shelly
-import           VeriFuzz.AST
-import           VeriFuzz.CodeGen
-import           VeriFuzz.Internal
-import           VeriFuzz.Mutate
-
-data Icarus = Icarus { icarusPath :: FilePath
-                     , vvpPath    :: FilePath
-                     }
-              deriving (Eq, Show)
-
-instance Tool Icarus where
-  toText _ = "iverilog"
-
-instance Simulator Icarus where
-  runSim = runSimIcarus
-  runSimWithFile = runSimIcarusWithFile
-
-defaultIcarus :: Icarus
-defaultIcarus = Icarus "iverilog" "vvp"
-
-addDisplay :: [Statement] -> [Statement]
-addDisplay s = concat $ transpose
-    [ s
-    , replicate l $ TimeCtrl 1 Nothing
-    , replicate l . SysTaskEnable $ Task "display" ["%b", Id "y"]
-    ]
-    where l = length s
-
-assignFunc :: [Port] -> ByteString -> Statement
-assignFunc inp bs =
-    NonBlockAssign . Assign conc Nothing . Number (B.length bs * 8) $ bsToI bs
-    where conc = RegConcat (portToExpr <$> inp)
-
-convert :: Text -> ByteString
-convert =
-    toStrict
-        . (encode :: Integer -> L.ByteString)
-        . maybe 0 fst
-        . listToMaybe
-        . readInt 2 (`elem` ("01" :: String)) digitToInt
-        . T.unpack
-
-mask :: Text -> Text
-mask = T.replace "x" "0"
-
-callback :: ByteString -> Text -> ByteString
-callback b t = b <> convert (mask t)
-
-runSimIcarus :: Icarus -> SourceInfo -> [ByteString] -> Sh ByteString
-runSimIcarus sim rinfo bss = do
-    let tb = ModDecl
-            "main"
-            []
-            []
-            [ Initial
-              $  fold (addDisplay $ assignFunc (_modInPorts m) <$> bss)
-              <> (SysTaskEnable $ Task "finish" [])
-            ]
-    let newtb     = instantiateMod m tb
-    let modWithTb = Verilog $ Description <$> [newtb, m]
-    writefile "main.v" $ genSource modWithTb
-    runSimWithFile sim "main.v" bss
-    where m = rinfo ^. mainModule
-
-runSimIcarusWithFile :: Icarus -> FilePath -> [ByteString] -> Sh ByteString
-runSimIcarusWithFile sim f _ = do
-    dir <- pwd
-    echoP "Icarus: Compile"
-    _ <- logger dir "icarus"
-        $ run (icarusPath sim) ["-o", "main", toTextIgnore f]
-    echoP "Icarus: Run"
-    B.take 8 . BA.convert . (hash :: ByteString -> Digest SHA256) <$> logger
-        dir
-        "vvp"
-        (runFoldLines (mempty :: ByteString) callback (vvpPath sim) ["main"])
-- 
cgit