diff options
author | Yann Herklotz <git@ymhg.org> | 2019-04-18 18:16:35 +0100 |
---|---|---|
committer | Yann Herklotz <git@ymhg.org> | 2019-04-18 18:16:35 +0100 |
commit | 97398438902d42b33aef475e3e357781582bec16 (patch) | |
tree | c027eda3c0167ef5aaacd68167c6aac75aff1f58 /src/VeriFuzz/Sim/Vivado.hs | |
parent | 7053c6117f39d39852b3259c677691b5df6e7c04 (diff) | |
download | verismith-97398438902d42b33aef475e3e357781582bec16.tar.gz verismith-97398438902d42b33aef475e3e357781582bec16.zip |
Add output path to each simulator
Diffstat (limited to 'src/VeriFuzz/Sim/Vivado.hs')
-rw-r--r-- | src/VeriFuzz/Sim/Vivado.hs | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/src/VeriFuzz/Sim/Vivado.hs b/src/VeriFuzz/Sim/Vivado.hs index fb43ceb..7cf6d4b 100644 --- a/src/VeriFuzz/Sim/Vivado.hs +++ b/src/VeriFuzz/Sim/Vivado.hs @@ -24,7 +24,9 @@ import VeriFuzz.Sim.Template import VeriFuzz.Verilog.AST import VeriFuzz.Verilog.CodeGen -newtype Vivado = Vivado { vivadoPath :: FilePath } +data Vivado = Vivado { vivadoPath :: {-# UNPACK #-} !FilePath + , vivadoOutput :: {-# UNPACK #-} !FilePath + } deriving (Eq) instance Show Vivado where @@ -35,9 +37,11 @@ instance Tool Vivado where instance Synthesiser Vivado where runSynth = runSynthVivado + synthOutput = vivadoOutput + setSynthOutput (Vivado a _) f = Vivado a f defaultVivado :: Vivado -defaultVivado = Vivado "vivado" +defaultVivado = Vivado "vivado" "vivado/syn_vivado.v" runSynthVivado :: Vivado -> SourceInfo -> FilePath -> ResultSh () runSynthVivado sim (SourceInfo top src) outf = do |