diff options
Diffstat (limited to 'src/VeriFuzz.hs')
-rw-r--r-- | src/VeriFuzz.hs | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/src/VeriFuzz.hs b/src/VeriFuzz.hs index b3b1ec6..4f52108 100644 --- a/src/VeriFuzz.hs +++ b/src/VeriFuzz.hs @@ -12,12 +12,21 @@ Portability : POSIX module VeriFuzz ( defaultMain + -- * Types , Opts(..) + , SourceInfo(..) + -- * Run functions , runEquivalence , runSimulation , runReduce , draw - , SourceInfo(..) + -- * Verilog generation functions + , procedural + , proceduralIO + , proceduralSrc + , proceduralSrcIO + , randomMod + -- * Extra modules , module VeriFuzz.Verilog , module VeriFuzz.Config , module VeriFuzz.Circuit @@ -52,6 +61,7 @@ import System.Random (randomIO) import VeriFuzz.Circuit import VeriFuzz.Config import VeriFuzz.Fuzz +import VeriFuzz.Generate import VeriFuzz.Reduce import VeriFuzz.Report import VeriFuzz.Result |