diff options
author | Yann Herklotz <git@ymhg.org> | 2019-04-03 17:38:11 +0100 |
---|---|---|
committer | Yann Herklotz <git@ymhg.org> | 2019-04-03 17:38:11 +0100 |
commit | 29804187ac1aeb6d53985e11e9591dc52633bac0 (patch) | |
tree | 3aae6fb7cb96f75958d3c07bfc791c8a00fbedb9 /src/VeriFuzz | |
parent | 77559b722fca9c873e29d5735b309c0a8d8f2022 (diff) | |
download | verismith-29804187ac1aeb6d53985e11e9591dc52633bac0.tar.gz verismith-29804187ac1aeb6d53985e11e9591dc52633bac0.zip |
Export Vivado types and fix test failure
Diffstat (limited to 'src/VeriFuzz')
-rw-r--r-- | src/VeriFuzz/Sim.hs | 10 | ||||
-rw-r--r-- | src/VeriFuzz/Verilog/Mutate.hs | 2 |
2 files changed, 8 insertions, 4 deletions
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" [] [] []) |