diff options
| -rw-r--r-- | src/VeriFuzz.hs | 4 | ||||
| -rw-r--r-- | src/VeriFuzz/Sim.hs | 10 | ||||
| -rw-r--r-- | src/VeriFuzz/Verilog/Mutate.hs | 2 |
3 files changed, 10 insertions, 6 deletions
diff --git a/src/VeriFuzz.hs b/src/VeriFuzz.hs index 310af7d..e008d62 100644 --- a/src/VeriFuzz.hs +++ b/src/VeriFuzz.hs @@ -107,7 +107,7 @@ checkEquivalence src dir = shellyFailDir $ do setenv "VERIFUZZ_ROOT" curr cd (fromText dir) catch_sh - (runEquiv defaultYosys defaultYosys (Just defaultXST) src >> return True + (runEquiv defaultYosys defaultYosys (Just defaultVivado) src >> return True ) ((\_ -> return False) :: RunFailed -> Sh Bool) @@ -124,7 +124,7 @@ runEquivalence gm t i = do setenv "VERIFUZZ_ROOT" curr cd (fromText "output" </> fromText n) catch_sh - ( runEquiv defaultYosys defaultYosys (Just defaultXST) srcInfo + ( runEquiv defaultYosys defaultYosys (Just defaultVivado) srcInfo >> echoP "Test OK" ) $ onFailure n diff --git a/src/VeriFuzz/Sim.hs b/src/VeriFuzz/Sim.hs index 794d8e9..8556983 100644 --- a/src/VeriFuzz/Sim.hs +++ b/src/VeriFuzz/Sim.hs @@ -21,12 +21,15 @@ module VeriFuzz.Sim -- ** Icarus , Icarus(..) , defaultIcarus - -- ** XST - , XST(..) - , defaultXST -- ** Yosys , Yosys(..) , defaultYosys + -- ** Vivado + , Vivado(..) + , defaultVivado + -- ** XST + , XST(..) + , defaultXST -- * Reducer , reduce -- * Equivalence @@ -43,5 +46,6 @@ import VeriFuzz.Sim.Env import VeriFuzz.Sim.Icarus import VeriFuzz.Sim.Internal import VeriFuzz.Sim.Reduce +import VeriFuzz.Sim.Vivado import VeriFuzz.Sim.XST import VeriFuzz.Sim.Yosys diff --git a/src/VeriFuzz/Verilog/Mutate.hs b/src/VeriFuzz/Verilog/Mutate.hs index c72463f..69b6d57 100644 --- a/src/VeriFuzz/Verilog/Mutate.hs +++ b/src/VeriFuzz/Verilog/Mutate.hs @@ -105,7 +105,7 @@ allVars m = <> (m ^.. modInPorts . traverse . portName) -- $setup --- >>> import VeriFuzz.CodeGen +-- >>> import VeriFuzz.Verilog.CodeGen -- >>> let m = (ModDecl (Identifier "m") [Port Wire False 5 (Identifier "y")] [Port Wire False 5 "x"] []) -- >>> let main = (ModDecl "main" [] [] []) |