diff options
Diffstat (limited to 'src/VeriFuzz/Sim/Yosys.hs')
| -rw-r--r-- | src/VeriFuzz/Sim/Yosys.hs | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/VeriFuzz/Sim/Yosys.hs b/src/VeriFuzz/Sim/Yosys.hs index 2682fe4..4a68569 100644 --- a/src/VeriFuzz/Sim/Yosys.hs +++ b/src/VeriFuzz/Sim/Yosys.hs @@ -35,7 +35,7 @@ newtype Yosys = Yosys { yosysPath :: FilePath } instance Tool Yosys where toText _ = "yosys" -instance Synthesisor Yosys where +instance Synthesiser Yosys where runSynth = runSynthYosys defaultYosys :: Yosys @@ -56,14 +56,14 @@ runSynthYosys sim (SourceInfo _ src) outf = do inp = toTextIgnore inpf out = toTextIgnore outf -runMaybeSynth :: (Synthesisor a) => Maybe a -> SourceInfo -> Sh () +runMaybeSynth :: (Synthesiser a) => Maybe a -> SourceInfo -> Sh () runMaybeSynth (Just sim) srcInfo = runSynth sim srcInfo $ fromText [st|syn_#{toText sim}.v|] runMaybeSynth Nothing (SourceInfo _ src) = writefile "syn_rtl.v" $ genSource src runEquivYosys - :: (Synthesisor a, Synthesisor b) + :: (Synthesiser a, Synthesiser b) => Yosys -> a -> Maybe b @@ -82,7 +82,7 @@ runEquivYosys yosys sim1 sim2 srcInfo = do fromText [st|test.#{toText sim1}.#{maybe "rtl" toText sim2}.ys|] runEquiv - :: (Synthesisor a, Synthesisor b) + :: (Synthesiser a, Synthesiser b) => Yosys -> a -> Maybe b |