diff options
| author | Yann Herklotz <git@ymhg.org> | 2019-04-15 19:44:29 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@ymhg.org> | 2019-04-15 19:44:29 +0100 |
| commit | 371c28e91b6602401c3991390cb2c76fe9812e3e (patch) | |
| tree | 37b80ce4c56a9770faa9ff429aa2a009a12984a7 /src/VeriFuzz/Sim/Yosys.hs | |
| parent | 316547a7ed4e7a0d974d846e677059a2237f7ad5 (diff) | |
| download | verismith-371c28e91b6602401c3991390cb2c76fe9812e3e.tar.gz verismith-371c28e91b6602401c3991390cb2c76fe9812e3e.zip | |
Rename Synthesisor -> Synthesiser
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 |