diff options
| author | Yann Herklotz <git@ymhg.org> | 2019-04-02 19:47:32 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@ymhg.org> | 2019-04-02 19:47:32 +0100 |
| commit | fd4b0b5152f94cd406f2e5de86ce7ed0a4d2cbd0 (patch) | |
| tree | 673439d49fa095bf3ae9b7bbbca5f30d7ff20838 /src/VeriFuzz/Sim.hs | |
| parent | c0c799ab3f79c370e4c33b8f824489ce8b1c96ec (diff) | |
| download | verismith-fd4b0b5152f94cd406f2e5de86ce7ed0a4d2cbd0.tar.gz verismith-fd4b0b5152f94cd406f2e5de86ce7ed0a4d2cbd0.zip | |
Large refactor with passing tests
Diffstat (limited to 'src/VeriFuzz/Sim.hs')
| -rw-r--r-- | src/VeriFuzz/Sim.hs | 47 |
1 files changed, 47 insertions, 0 deletions
diff --git a/src/VeriFuzz/Sim.hs b/src/VeriFuzz/Sim.hs new file mode 100644 index 0000000..794d8e9 --- /dev/null +++ b/src/VeriFuzz/Sim.hs @@ -0,0 +1,47 @@ +{-| +Module : VeriFuzz.Sim +Description : Simulator implementations. +Copyright : (c) 2019, Yann Herklotz Grave +License : GPL-3 +Maintainer : ymherklotz [at] gmail [dot] com +Stability : experimental +Portability : POSIX + +Simulator implementations. +-} + +module VeriFuzz.Sim + ( -- * Environment + SynthTool(..) + , SimTool(..) + , SimEnv(..) + , SourceInfo(..) + , SynthEnv(..) + -- * Simulators + -- ** Icarus + , Icarus(..) + , defaultIcarus + -- ** XST + , XST(..) + , defaultXST + -- ** Yosys + , Yosys(..) + , defaultYosys + -- * Reducer + , reduce + -- * Equivalence + , runEquiv + -- * Simulation + , runSim + -- * Synthesis + , runSynth + , echoP + ) +where + +import VeriFuzz.Sim.Env +import VeriFuzz.Sim.Icarus +import VeriFuzz.Sim.Internal +import VeriFuzz.Sim.Reduce +import VeriFuzz.Sim.XST +import VeriFuzz.Sim.Yosys |