diff options
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 |