aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorYann Herklotz <git@yannherklotz.com>2019-11-14 14:52:11 +0000
committerYann Herklotz <git@yannherklotz.com>2019-11-14 14:52:11 +0000
commit809d342084e39432615945edac7662e6f9968b7f (patch)
tree16cef99a17abd2644eacfbcbf9f7465dbdd91af6
parent1b0b6315f6194ebdbe0d31aecbc1a125639fd024 (diff)
downloadverismith-809d342084e39432615945edac7662e6f9968b7f.tar.gz
verismith-809d342084e39432615945edac7662e6f9968b7f.zip
Add delay to finish
-rw-r--r--src/Verismith/Tool/Icarus.hs2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Verismith/Tool/Icarus.hs b/src/Verismith/Tool/Icarus.hs
index 68273a2..4ced505 100644
--- a/src/Verismith/Tool/Icarus.hs
+++ b/src/Verismith/Tool/Icarus.hs
@@ -144,7 +144,7 @@ tbModule bss top =
<> fold ((\r -> TimeCtrl 10
(Just $ BlockAssign (Assign inConcat Nothing r)))
. fromInteger . fromBytes <$> bss)
- <> (SysTaskEnable $ Task "finish" [])
+ <> (TimeCtrl 10 . Just . SysTaskEnable $ Task "finish" [])
, Always . TimeCtrl 5 . Just $ BlockAssign
(Assign "clk" Nothing (UnOp UnNot (Id "clk")))
, Always . EventCtrl (EPosEdge "clk") . Just . SysTaskEnable