diff options
Diffstat (limited to 'src/VeriFuzz/Sim')
-rw-r--r-- | src/VeriFuzz/Sim/Icarus.hs | 47 | ||||
-rw-r--r-- | src/VeriFuzz/Sim/Identity.hs | 17 | ||||
-rw-r--r-- | src/VeriFuzz/Sim/Internal.hs | 34 | ||||
-rw-r--r-- | src/VeriFuzz/Sim/Quartus.hs | 15 | ||||
-rw-r--r-- | src/VeriFuzz/Sim/Template.hs | 2 | ||||
-rw-r--r-- | src/VeriFuzz/Sim/Vivado.hs | 15 | ||||
-rw-r--r-- | src/VeriFuzz/Sim/XST.hs | 17 | ||||
-rw-r--r-- | src/VeriFuzz/Sim/Yosys.hs | 19 |
8 files changed, 64 insertions, 102 deletions
diff --git a/src/VeriFuzz/Sim/Icarus.hs b/src/VeriFuzz/Sim/Icarus.hs index 8e62136..e7c92dc 100644 --- a/src/VeriFuzz/Sim/Icarus.hs +++ b/src/VeriFuzz/Sim/Icarus.hs @@ -3,7 +3,7 @@ Module : VeriFuzz.Sim.Icarus Description : Icarus verilog module. Copyright : (c) 2018-2019, Yann Herklotz License : BSD-3 -Maintainer : ymherklotz [at] gmail [dot] com +Maintainer : yann [at] yannherklotz [dot] com Stability : experimental Portability : POSIX @@ -17,35 +17,28 @@ module VeriFuzz.Sim.Icarus ) where -import Control.DeepSeq ( NFData - , rnf - , rwhnf - ) +import Control.DeepSeq (NFData, rnf, rwhnf) import Control.Lens -import Control.Monad ( void ) -import Crypto.Hash ( Digest - , hash - ) -import Crypto.Hash.Algorithms ( SHA256 ) -import Data.Binary ( encode ) +import Control.Monad (void) +import Crypto.Hash (Digest, hash) +import Crypto.Hash.Algorithms (SHA256) +import Data.Binary (encode) import Data.Bits -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 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 Shelly.Lifted ( liftSh ) +import Shelly.Lifted (liftSh) import VeriFuzz.Sim.Internal import VeriFuzz.Sim.Template import VeriFuzz.Verilog.AST diff --git a/src/VeriFuzz/Sim/Identity.hs b/src/VeriFuzz/Sim/Identity.hs index 95b4097..bfa99f5 100644 --- a/src/VeriFuzz/Sim/Identity.hs +++ b/src/VeriFuzz/Sim/Identity.hs @@ -3,7 +3,7 @@ Module : VeriFuzz.Sim.Identity Description : The identity simulator and synthesiser. Copyright : (c) 2019, Yann Herklotz Grave License : GPL-3 -Maintainer : ymherklotz [at] gmail [dot] com +Maintainer : yann [at] yannherklotz [dot] com Stability : experimental Portability : POSIX @@ -16,16 +16,11 @@ module VeriFuzz.Sim.Identity ) where -import Control.DeepSeq ( NFData - , rnf - , rwhnf - ) -import Data.Text ( Text - , unpack - ) -import Prelude hiding ( FilePath ) -import Shelly ( FilePath ) -import Shelly.Lifted ( writefile ) +import Control.DeepSeq (NFData, rnf, rwhnf) +import Data.Text (Text, unpack) +import Prelude hiding (FilePath) +import Shelly (FilePath) +import Shelly.Lifted (writefile) import VeriFuzz.Sim.Internal import VeriFuzz.Verilog.AST import VeriFuzz.Verilog.CodeGen diff --git a/src/VeriFuzz/Sim/Internal.hs b/src/VeriFuzz/Sim/Internal.hs index a05a96f..f5351c7 100644 --- a/src/VeriFuzz/Sim/Internal.hs +++ b/src/VeriFuzz/Sim/Internal.hs @@ -3,7 +3,7 @@ Module : VeriFuzz.Sim.Internal Description : Class of the simulator. Copyright : (c) 2018-2019, Yann Herklotz License : BSD-3 -Maintainer : ymherklotz [at] gmail [dot] com +Maintainer : yann [at] yannherklotz [dot] com Stability : experimental Portability : POSIX @@ -40,26 +40,20 @@ module VeriFuzz.Sim.Internal where import Control.Lens -import Control.Monad ( forM - , void - ) -import Control.Monad.Catch ( throwM ) -import Data.Bits ( shiftL ) -import Data.ByteString ( ByteString ) -import qualified Data.ByteString as B -import Data.Maybe ( catMaybes ) -import Data.Text ( Text ) -import qualified Data.Text as T -import Data.Time.Format ( defaultTimeLocale - , formatTime - ) -import Data.Time.LocalTime ( getZonedTime ) -import Prelude hiding ( FilePath ) +import Control.Monad (forM, void) +import Control.Monad.Catch (throwM) +import Data.Bits (shiftL) +import Data.ByteString (ByteString) +import qualified Data.ByteString as B +import Data.Maybe (catMaybes) +import Data.Text (Text) +import qualified Data.Text as T +import Data.Time.Format (defaultTimeLocale, formatTime) +import Data.Time.LocalTime (getZonedTime) +import Prelude hiding (FilePath) import Shelly -import Shelly.Lifted ( MonadSh - , liftSh - ) -import System.FilePath.Posix ( takeBaseName ) +import Shelly.Lifted (MonadSh, liftSh) +import System.FilePath.Posix (takeBaseName) import VeriFuzz.Internal import VeriFuzz.Result import VeriFuzz.Verilog.AST diff --git a/src/VeriFuzz/Sim/Quartus.hs b/src/VeriFuzz/Sim/Quartus.hs index e0fbba5..254bfa5 100644 --- a/src/VeriFuzz/Sim/Quartus.hs +++ b/src/VeriFuzz/Sim/Quartus.hs @@ -3,7 +3,7 @@ Module : VeriFuzz.Sim.Quartus Description : Quartus synthesiser implementation. Copyright : (c) 2019, Yann Herklotz Grave License : GPL-3 -Maintainer : ymherklotz [at] gmail [dot] com +Maintainer : yann [at] yannherklotz [dot] com Stability : experimental Portability : POSIX @@ -16,16 +16,11 @@ module VeriFuzz.Sim.Quartus ) where -import Control.DeepSeq ( NFData - , rnf - , rwhnf - ) -import Data.Text ( Text - , unpack - ) -import Prelude hiding ( FilePath ) +import Control.DeepSeq (NFData, rnf, rwhnf) +import Data.Text (Text, unpack) +import Prelude hiding (FilePath) import Shelly -import Shelly.Lifted ( liftSh ) +import Shelly.Lifted (liftSh) import VeriFuzz.Sim.Internal import VeriFuzz.Verilog.AST import VeriFuzz.Verilog.CodeGen diff --git a/src/VeriFuzz/Sim/Template.hs b/src/VeriFuzz/Sim/Template.hs index 3be6558..9b8ee9f 100644 --- a/src/VeriFuzz/Sim/Template.hs +++ b/src/VeriFuzz/Sim/Template.hs @@ -3,7 +3,7 @@ Module : VeriFuzz.Sim.Template Description : Template file for different configuration files Copyright : (c) 2019, Yann Herklotz License : GPL-3 -Maintainer : ymherklotz [at] gmail [dot] com +Maintainer : yann [at] yannherklotz [dot] com Stability : experimental Portability : POSIX diff --git a/src/VeriFuzz/Sim/Vivado.hs b/src/VeriFuzz/Sim/Vivado.hs index 8697a0f..4ddb048 100644 --- a/src/VeriFuzz/Sim/Vivado.hs +++ b/src/VeriFuzz/Sim/Vivado.hs @@ -3,7 +3,7 @@ Module : VeriFuzz.Sim.Vivado Description : Vivado Synthesiser implementation. Copyright : (c) 2019, Yann Herklotz Grave License : GPL-3 -Maintainer : ymherklotz [at] gmail [dot] com +Maintainer : yann [at] yannherklotz [dot] com Stability : experimental Portability : POSIX @@ -16,16 +16,11 @@ module VeriFuzz.Sim.Vivado ) where -import Control.DeepSeq ( NFData - , rnf - , rwhnf - ) -import Data.Text ( Text - , unpack - ) -import Prelude hiding ( FilePath ) +import Control.DeepSeq (NFData, rnf, rwhnf) +import Data.Text (Text, unpack) +import Prelude hiding (FilePath) import Shelly -import Shelly.Lifted ( liftSh ) +import Shelly.Lifted (liftSh) import VeriFuzz.Sim.Internal import VeriFuzz.Sim.Template import VeriFuzz.Verilog.AST diff --git a/src/VeriFuzz/Sim/XST.hs b/src/VeriFuzz/Sim/XST.hs index f5faae5..86db667 100644 --- a/src/VeriFuzz/Sim/XST.hs +++ b/src/VeriFuzz/Sim/XST.hs @@ -3,7 +3,7 @@ Module : VeriFuzz.Sim.XST Description : XST (ise) simulator implementation. Copyright : (c) 2018-2019, Yann Herklotz License : BSD-3 -Maintainer : ymherklotz [at] gmail [dot] com +Maintainer : yann [at] yannherklotz [dot] com Stability : experimental Portability : POSIX @@ -18,17 +18,12 @@ module VeriFuzz.Sim.XST ) where -import Control.DeepSeq ( NFData - , rnf - , rwhnf - ) -import Data.Text ( Text - , unpack - ) -import Prelude hiding ( FilePath ) +import Control.DeepSeq (NFData, rnf, rwhnf) +import Data.Text (Text, unpack) +import Prelude hiding (FilePath) import Shelly -import Shelly.Lifted ( liftSh ) -import Text.Shakespeare.Text ( st ) +import Shelly.Lifted (liftSh) +import Text.Shakespeare.Text (st) import VeriFuzz.Sim.Internal import VeriFuzz.Sim.Template import VeriFuzz.Verilog.AST diff --git a/src/VeriFuzz/Sim/Yosys.hs b/src/VeriFuzz/Sim/Yosys.hs index 8f9d4a7..d69bc69 100644 --- a/src/VeriFuzz/Sim/Yosys.hs +++ b/src/VeriFuzz/Sim/Yosys.hs @@ -3,7 +3,7 @@ Module : VeriFuzz.Sim.Yosys Description : Yosys simulator implementation. Copyright : (c) 2018-2019, Yann Herklotz License : BSD-3 -Maintainer : ymherklotz [at] gmail [dot] com +Maintainer : yann [at] yannherklotz [dot] com Stability : experimental Portability : POSIX @@ -20,19 +20,14 @@ module VeriFuzz.Sim.Yosys ) where -import Control.DeepSeq ( NFData - , rnf - , rwhnf - ) +import Control.DeepSeq (NFData, rnf, rwhnf) import Control.Lens -import Control.Monad ( void ) -import Data.Text ( Text - , unpack - ) -import Prelude hiding ( FilePath ) +import Control.Monad (void) +import Data.Text (Text, unpack) +import Prelude hiding (FilePath) import Shelly -import Shelly.Lifted ( liftSh ) -import Text.Shakespeare.Text ( st ) +import Shelly.Lifted (liftSh) +import Text.Shakespeare.Text (st) import VeriFuzz.Result import VeriFuzz.Sim.Internal import VeriFuzz.Sim.Template |