diff options
author | Yann Herklotz <ymherklotz@gmail.com> | 2019-01-10 18:56:58 +0000 |
---|---|---|
committer | Yann Herklotz <ymherklotz@gmail.com> | 2019-01-10 18:57:18 +0000 |
commit | 983669aa390c4cc1aaf6e4bee914d1a7de9a58e4 (patch) | |
tree | e02cd385806eb6d234858c94a83870f49a30e584 /src/VeriFuzz/Simulator | |
parent | 23800af41dc2b6c4e430c143024d9ec5804f2c08 (diff) | |
download | verismith-983669aa390c4cc1aaf6e4bee914d1a7de9a58e4.tar.gz verismith-983669aa390c4cc1aaf6e4bee914d1a7de9a58e4.zip |
Fix all the warnings
Diffstat (limited to 'src/VeriFuzz/Simulator')
-rw-r--r-- | src/VeriFuzz/Simulator/Xst.hs | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/src/VeriFuzz/Simulator/Xst.hs b/src/VeriFuzz/Simulator/Xst.hs index 902b244..16e9b97 100644 --- a/src/VeriFuzz/Simulator/Xst.hs +++ b/src/VeriFuzz/Simulator/Xst.hs @@ -15,8 +15,6 @@ Xst (ise) simulator implementation. module VeriFuzz.Simulator.Xst where import Control.Lens hiding ((<.>)) -import Data.Text (Text) -import qualified Data.Text as T import Prelude hiding (FilePath) import Shelly import Text.Shakespeare.Text (st) @@ -38,7 +36,7 @@ defaultXst :: Xst defaultXst = Xst "/opt/Xilinx/14.7/ISE_DS/ISE/bin/lin64/xst" "/opt/Xilinx/14.7/ISE_DS/ISE/bin/lin64/netgen" runSynthXst :: Xst -> ModDecl -> FilePath -> Sh () -runSynthXst sim mod outf = do +runSynthXst sim m outf = do writefile xstFile [st|run -ifn #{modName}.prj -ofn #{modName} -p artix7 -top #{modName} -iobuf NO -ram_extract NO -rom_extract NO -use_dsp48 NO @@ -46,13 +44,12 @@ runSynthXst sim mod outf = do -change_error_to_warning "HDLCompiler:226 HDLCompiler:1832" |] writefile prjFile [st|verilog work "rtl.v"|] - writefile "rtl.v" $ genSource mod + writefile "rtl.v" $ genSource m timeout_ (xstPath sim) ["-ifn", toTextIgnore xstFile] run_ (netgenPath sim) ["-w", "-ofmt", "verilog", toTextIgnore $ modFile <.> "ngc", toTextIgnore outf] run_ "sed" ["-i", "/^`ifndef/,/^`endif/ d; s/ *Timestamp: .*//;", toTextIgnore outf] where - modName = mod ^. moduleId . getIdentifier + modName = m ^. moduleId . getIdentifier modFile = fromText modName xstFile = modFile <.> "xst" prjFile = modFile <.> "prj" - vFile = modFile <.> "v" |