diff options
| author | Yann Herklotz <git@ymhg.org> | 2019-05-13 15:13:21 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@ymhg.org> | 2019-05-13 15:13:21 +0100 |
| commit | f984a79a85b4cc5a077fbf0f7ae6ac52a51822e8 (patch) | |
| tree | 5493509069da254e757005d6e596d8246e6a514f /src/VeriFuzz/Sim | |
| parent | 8cab5bfe71157c907ca51ac56fef45ccd6c3229b (diff) | |
| download | verismith-f984a79a85b4cc5a077fbf0f7ae6ac52a51822e8.tar.gz verismith-f984a79a85b4cc5a077fbf0f7ae6ac52a51822e8.zip | |
Add Identity to Report
Diffstat (limited to 'src/VeriFuzz/Sim')
| -rw-r--r-- | src/VeriFuzz/Sim/Identity.hs | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/src/VeriFuzz/Sim/Identity.hs b/src/VeriFuzz/Sim/Identity.hs index 0160431..1b88032 100644 --- a/src/VeriFuzz/Sim/Identity.hs +++ b/src/VeriFuzz/Sim/Identity.hs @@ -10,7 +10,11 @@ Portability : POSIX The identity simulator and synthesiser. -} -module VeriFuzz.Sim.Identity where +module VeriFuzz.Sim.Identity + ( Identity(..) + , defaultIdentity + ) +where import Control.DeepSeq (NFData, rnf, rwhnf) import Data.Text (Text, unpack) @@ -24,6 +28,7 @@ import VeriFuzz.Verilog.CodeGen data Identity = Identity { identityDesc :: {-# UNPACK #-} !Text , identityOutput :: {-# UNPACK #-} !FilePath } + deriving (Eq) instance Tool Identity where toText (Identity d _) = d @@ -42,3 +47,6 @@ instance NFData Identity where runSynthIdentity :: Identity -> SourceInfo -> ResultSh () runSynthIdentity (Identity _ out) src = writefile out $ genSource src + +defaultIdentity :: Identity +defaultIdentity = Identity "identity" "syn_identity.v" |