aboutsummaryrefslogtreecommitdiffstats
path: root/src/VeriFuzz/Icarus.hs
diff options
context:
space:
mode:
authorYann Herklotz Grave <git@yannherklotzgrave.com>2019-03-06 16:34:00 +0000
committerYann Herklotz Grave <git@yannherklotzgrave.com>2019-03-06 16:34:00 +0000
commitffa56ca8daa4da6b8f35172769479c56a903572e (patch)
treef8fd7cb8590a0cb6efb32d70e88936ee1177b031 /src/VeriFuzz/Icarus.hs
parentabe9360a65f77c83d73e02876049e4ec1d5161dc (diff)
downloadverismith-ffa56ca8daa4da6b8f35172769479c56a903572e.tar.gz
verismith-ffa56ca8daa4da6b8f35172769479c56a903572e.zip
Rename Stmnt to Statement
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)