diff options
Diffstat (limited to 'src/Test/VeriFuzz/Simulator/General.hs')
| -rw-r--r-- | src/Test/VeriFuzz/Simulator/General.hs | 31 |
1 files changed, 9 insertions, 22 deletions
diff --git a/src/Test/VeriFuzz/Simulator/General.hs b/src/Test/VeriFuzz/Simulator/General.hs index 8c5c7ec..a024029 100644 --- a/src/Test/VeriFuzz/Simulator/General.hs +++ b/src/Test/VeriFuzz/Simulator/General.hs @@ -1,5 +1,5 @@ {-| -Module : Test.VeriFuzz.Simulator.General +Module : VeriFuzz.Simulator.General Description : Class of the simulator. Copyright : (c) 2018-2019, Yann Herklotz Grave License : BSD-3 @@ -10,22 +10,15 @@ Portability : POSIX Class of the simulator and the synthesize tool. -} -module Test.VeriFuzz.Simulator.General where - -import Data.Bits (shiftL) -import Data.ByteString (ByteString) -import qualified Data.ByteString as B -import Data.ByteString.Builder (byteStringHex, toLazyByteString) -import qualified Data.ByteString.Lazy as BL -import Data.Text (Text) -import qualified Data.Text as T -import qualified Data.Text.Lazy as TL -import Data.Text.Lazy.Builder (toLazyText) -import Data.Text.Lazy.Builder.Int (hexadecimal) -import Prelude hiding (FilePath) +module VeriFuzz.Simulator.General where + +import Data.Bits (shiftL) +import Data.ByteString (ByteString) +import qualified Data.ByteString as B +import Data.Text (Text) +import Prelude hiding (FilePath) import Shelly -import Test.VeriFuzz.Internal.Shared -import Test.VeriFuzz.Verilog.AST +import VeriFuzz.Verilog.AST -- | Simulator class. class Simulator a where @@ -51,12 +44,6 @@ timeout = command1 "timeout" ["180"] . toTextIgnore timeout_ :: FilePath -> [Text] -> Sh () timeout_ = command1_ "timeout" ["180"] . toTextIgnore -synthesizers :: [Text] -synthesizers = ["yosys", "xst"] - -simulators :: [Text] -simulators = ["yosim", "iverilog"] - -- | Helper function to convert bytestrings to integers bsToI :: ByteString -> Integer bsToI = B.foldl' (\i b -> (i `shiftL` 8) + fromIntegral b) 0 |