aboutsummaryrefslogtreecommitdiffstats
path: root/src/VeriFuzz/Icarus.hs
diff options
context:
space:
mode:
Diffstat (limited to 'src/VeriFuzz/Icarus.hs')
-rw-r--r--src/VeriFuzz/Icarus.hs4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/VeriFuzz/Icarus.hs b/src/VeriFuzz/Icarus.hs
index b709967..dc2474d 100644
--- a/src/VeriFuzz/Icarus.hs
+++ b/src/VeriFuzz/Icarus.hs
@@ -50,7 +50,7 @@ instance Simulator Icarus where
defaultIcarus :: Icarus
defaultIcarus = Icarus "iverilog" "vvp"
-addDisplay :: [Stmnt] -> [Stmnt]
+addDisplay :: [Statement] -> [Statement]
addDisplay s = concat $ transpose
[ s
, replicate l $ TimeCtrl 1 Nothing
@@ -58,7 +58,7 @@ addDisplay s = concat $ transpose
]
where l = length s
-assignFunc :: [Port] -> ByteString -> Stmnt
+assignFunc :: [Port] -> ByteString -> Statement
assignFunc inp bs =
NonBlockAssign . Assign conc Nothing . Number (B.length bs * 8) $ bsToI bs
where conc = RegConcat (portToExpr <$> inp)