diff options
author | Yann Herklotz <ymherklotz@gmail.com> | 2019-01-10 15:49:13 +0000 |
---|---|---|
committer | Yann Herklotz <ymherklotz@gmail.com> | 2019-01-10 15:49:13 +0000 |
commit | dac34f6ff5c46f11fe6c548b92a02ebf4f10d7e9 (patch) | |
tree | e51f51b4e82f3c764bcba88725e20e4fb10284da /src/Test/VeriFuzz/Simulator/Icarus.hs | |
parent | 3f1190cd7fc873449a1fd430386aa4b773d010ac (diff) | |
download | verismith-dac34f6ff5c46f11fe6c548b92a02ebf4f10d7e9.tar.gz verismith-dac34f6ff5c46f11fe6c548b92a02ebf4f10d7e9.zip |
Rename files out of the module
Diffstat (limited to 'src/Test/VeriFuzz/Simulator/Icarus.hs')
-rw-r--r-- | src/Test/VeriFuzz/Simulator/Icarus.hs | 66 |
1 files changed, 0 insertions, 66 deletions
diff --git a/src/Test/VeriFuzz/Simulator/Icarus.hs b/src/Test/VeriFuzz/Simulator/Icarus.hs deleted file mode 100644 index 744deb8..0000000 --- a/src/Test/VeriFuzz/Simulator/Icarus.hs +++ /dev/null @@ -1,66 +0,0 @@ -{-| -Module : VeriFuzz.Simulator.Icarus -Description : Icarus verilog module. -Copyright : (c) 2018-2019, Yann Herklotz Grave -License : BSD-3 -Maintainer : ymherklotz [at] gmail [dot] com -Stability : experimental -Portability : POSIX - -Icarus verilog module. --} - -module VeriFuzz.Simulator.Icarus where - -import Control.Lens -import Data.ByteString (ByteString) -import qualified Data.ByteString as B -import Data.Foldable (fold) -import Data.Hashable -import Data.List (transpose) -import Data.Text (Text) -import qualified Data.Text as T -import Prelude hiding (FilePath) -import Shelly -import Text.Shakespeare.Text (st) -import VeriFuzz.Simulator.General -import VeriFuzz.Verilog - -data Icarus = Icarus { icarusPath :: FilePath - , vvpPath :: FilePath - } - -instance Simulator Icarus where - toText _ = "iverilog" - -instance Simulate Icarus where - runSim = runSimIcarus - -defaultIcarus :: Icarus -defaultIcarus = Icarus "iverilog" "vvp" - -addDisplay :: [Stmnt] -> [Stmnt] -addDisplay s = - concat $ transpose [s, replicate l $ TimeCtrl 1 Nothing - , replicate l . SysTaskEnable $ Task "display" ["%h", Id "y"]] - where - l = length s - -assignFunc :: [Port] -> ByteString -> Stmnt -assignFunc inp bs = - NonBlockAssign . Assign conc Nothing . Number (B.length bs * 4) $ bsToI bs - where - conc = RegConcat (portToExpr <$> inp) - -runSimIcarus :: Icarus -> ModDecl -> [ByteString] -> Sh Int -runSimIcarus sim m bss = do - let tb = ModDecl "main" [] [] - [ Initial $ - fold (addDisplay $ assignFunc (m ^. modInPorts) <$> bss) - <> (SysTaskEnable $ Task "finish" []) - ] - let newtb = instantiateMod m tb - let modWithTb = VerilogSrc $ Description <$> [newtb, m] - writefile "main.v" $ genSource modWithTb - run_ (icarusPath sim) ["-o", "main", "main.v"] - hash <$> run (vvpPath sim) ["main"] |