diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2019-10-18 14:29:07 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2019-10-18 14:29:07 +0100 |
| commit | e7f57642f068650ea362201b239efad1c9a841d9 (patch) | |
| tree | 2d68c28c0644089b9afcfc21fc05f88d50ef6703 /src/Verismith/Fuzz.hs | |
| parent | 349c1fa290c068a0f4100469e7485d062dd995ce (diff) | |
| download | verismith-e7f57642f068650ea362201b239efad1c9a841d9.tar.gz verismith-e7f57642f068650ea362201b239efad1c9a841d9.zip | |
Rename Sim to Tool
Diffstat (limited to 'src/Verismith/Fuzz.hs')
| -rw-r--r-- | src/Verismith/Fuzz.hs | 37 |
1 files changed, 16 insertions, 21 deletions
diff --git a/src/Verismith/Fuzz.hs b/src/Verismith/Fuzz.hs index 1f86739..81c00a0 100644 --- a/src/Verismith/Fuzz.hs +++ b/src/Verismith/Fuzz.hs @@ -59,9 +59,9 @@ import Verismith.Internal import Verismith.Reduce import Verismith.Report import Verismith.Result -import Verismith.Sim.Icarus -import Verismith.Sim.Internal -import Verismith.Sim.Yosys +import Verismith.Tool.Icarus +import Verismith.Tool.Internal +import Verismith.Tool.Yosys import Verismith.Verilog.AST import Verismith.Verilog.CodeGen @@ -194,24 +194,19 @@ equivalence src = do equiv a b = toolRun ("equivalence check for " <> toText a <> " and " <> toText b) . runResultT - $ do - make dir - pop dir $ do - liftSh $ do - cp - ( fromText ".." - </> fromText (toText a) - </> synthOutput a - ) - $ synthOutput a - cp - ( fromText ".." - </> fromText (toText b) - </> synthOutput b - ) - $ synthOutput b - writefile "rtl.v" $ genSource src - runEquiv a b src + $ do make dir + pop dir $ do + liftSh $ do + cp ( fromText ".." + </> fromText (toText a) + </> synthOutput a + ) $ synthOutput a + cp ( fromText ".." + </> fromText (toText b) + </> synthOutput b + ) $ synthOutput b + writefile "rtl.v" $ genSource src + runEquiv a b src where dir = fromText $ "equiv_" <> toText a <> "_" <> toText b simulation :: (MonadIO m, MonadSh m) => SourceInfo -> Fuzz m () |