diff options
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 |