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/Sim.hs | |
| parent | 77559b722fca9c873e29d5735b309c0a8d8f2022 (diff) | |
| download | verismith-29804187ac1aeb6d53985e11e9591dc52633bac0.tar.gz verismith-29804187ac1aeb6d53985e11e9591dc52633bac0.zip | |
Export Vivado types and fix test failure
Diffstat (limited to 'src/VeriFuzz/Sim.hs')
| -rw-r--r-- | src/VeriFuzz/Sim.hs | 10 |
1 files changed, 7 insertions, 3 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 |