From 931b1a60643f50768eb33903e87a7471898835db Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@ymhg.org>
Date: Tue, 23 Apr 2019 10:11:27 +0100
Subject: Add event list generation for always blocks

---
 src/VeriFuzz/RecursionScheme.hs | 70 -----------------------------------------
 src/VeriFuzz/Verilog/CodeGen.hs |  4 +--
 src/VeriFuzz/Verilog/Gen.hs     |  3 +-
 3 files changed, 4 insertions(+), 73 deletions(-)
 delete mode 100644 src/VeriFuzz/RecursionScheme.hs

(limited to 'src/VeriFuzz')

diff --git a/src/VeriFuzz/RecursionScheme.hs b/src/VeriFuzz/RecursionScheme.hs
deleted file mode 100644
index e0807ad..0000000
--- a/src/VeriFuzz/RecursionScheme.hs
+++ /dev/null
@@ -1,70 +0,0 @@
-{-|
-Module      : VeriFuzz.RecursionScheme
-Description : Recursion scheme implementation for the AST.
-Copyright   : (c) 2019, Yann Herklotz Grave
-License     : GPL-3
-Maintainer  : ymherklotz [at] gmail [dot] com
-Stability   : experimental
-Portability : POSIX
-
-Recursion scheme implementation for the AST.
--}
-
-module VeriFuzz.RecursionScheme
-    ( Term(..)
-    , Attr(..)
-    , Algebra
-    , bottomUp
-    , topDown
-    , cata
-    , ana
-    , para
-    , apo
-    )
-where
-
-import           Control.Arrow ((&&&), (>>>), (|||))
-import           Data.Function ((&))
-
-newtype Term f = In { out :: f (Term f) }
-
-data Attr f a = Attr
-              { attribute :: a
-              , hole      :: f (Attr f a)
-              }
-
-type Algebra f a = f a -> a
-
-type RAlgebra f a = f (Term f, a) -> a
-
-type RAlgebra' f a = Term f -> f a -> a
-
-type CVAlgebra f a = f (Attr f a) -> a
-
-type Coalgebra f a = a -> f a
-
-type RCoalgebra f a = a -> f (Either (Term f) a)
-
-bottomUp :: Functor a => (Term a -> Term a) -> Term a -> Term a
-bottomUp fn = cata $ In >>> fn
-
-topDown :: Functor a => (Term a -> Term a) -> Term a -> Term a
-topDown fn = ana $ fn >>> out
-
-cata :: Functor f => Algebra f a -> Term f -> a
-cata fn = para' $ const fn
-
-ana :: Functor f => Coalgebra f a -> a -> Term f
-ana fn = fn >>> fmap (ana fn) >>> In
-
-para :: Functor f => RAlgebra f a -> Term f -> a
-para ralg = out >>> fmap (id &&& para ralg) >>> ralg
-
-para' :: Functor f => RAlgebra' f a -> Term f -> a
-para' ralg t = out t & fmap (para' ralg) & ralg t
-
-apo :: Functor f => RCoalgebra f a -> a -> Term f
-apo rcoalg = rcoalg >>> fmap (id ||| apo rcoalg) >>> In
-
-histo :: Functor f => CVAlgebra f a -> Term f -> a
-histo cv = out >>> fmap worker >>> cv where worker t = undefined
diff --git a/src/VeriFuzz/Verilog/CodeGen.hs b/src/VeriFuzz/Verilog/CodeGen.hs
index 361d27e..e31866c 100644
--- a/src/VeriFuzz/Verilog/CodeGen.hs
+++ b/src/VeriFuzz/Verilog/CodeGen.hs
@@ -146,7 +146,7 @@ expr (Str t                ) = "\"" <> t <> "\""
 
 showNum :: BitVec -> Text
 showNum (BitVec s n) =
-    "(" <> minus <> showT s <> "'h" <> T.pack (showHex (abs n) "") <> ")"
+    minus <> showT s <> "'h" <> T.pack (showHex (abs n) "")
   where
     minus | signum n >= 0 = ""
           | otherwise     = "-"
@@ -211,7 +211,7 @@ event a = "@(" <> eventRec a <> ")"
 eventRec :: Event -> Text
 eventRec (EId   i)    = getIdentifier i
 eventRec (EExpr e)    = expr e
-eventRec EAll         = "@*"
+eventRec EAll         = "*"
 eventRec (EPosEdge i) = "posedge " <> getIdentifier i
 eventRec (ENegEdge i) = "negedge " <> getIdentifier i
 eventRec (EOr a b)    = "(" <> eventRec a <> " or " <> eventRec b <> ")"
diff --git a/src/VeriFuzz/Verilog/Gen.hs b/src/VeriFuzz/Verilog/Gen.hs
index 6159766..bf9f84d 100644
--- a/src/VeriFuzz/Verilog/Gen.hs
+++ b/src/VeriFuzz/Verilog/Gen.hs
@@ -347,8 +347,9 @@ eventList = do
 
 always :: StateGen ModItem
 always = do
+    events <- eventList
     stat <- SeqBlock <$> some statement
-    return $ Always (EventCtrl (EPosEdge "clk") (Just stat))
+    return $ Always (EventCtrl events (Just stat))
 
 instantiate :: ModDecl -> StateGen ModItem
 instantiate (ModDecl i outP inP _ _) = do
-- 
cgit