From 4042138101d433cefed0a9157a2dc6fda54e4b60 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Wed, 14 Jul 2021 19:52:49 +0200 Subject: Add changes to Icarus for fuzzing --- src/Verismith/Tool/Icarus.hs | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'src/Verismith/Tool') diff --git a/src/Verismith/Tool/Icarus.hs b/src/Verismith/Tool/Icarus.hs index c020b61..04ec6a4 100644 --- a/src/Verismith/Tool/Icarus.hs +++ b/src/Verismith/Tool/Icarus.hs @@ -32,6 +32,7 @@ import qualified Data.ByteString.Lazy as L (ByteString) import Data.Char (digitToInt) import Data.Foldable (fold) import Data.List (transpose) +import Data.List.NonEmpty (NonEmpty(..), fromList) import Data.Maybe (listToMaybe) import Data.Text (Text) import qualified Data.Text as T @@ -204,7 +205,7 @@ tbModule' ids bss top = BlockAssign (Assign "clk" Nothing (UnOp UnNot (Id "clk"))), Always . EventCtrl (EPosEdge "clk") . Just . SysTaskEnable $ - Task "strobe" ["%b", Id "y"] + Task "strobe" ["%b", Concat (fromList $ fmap Id outputs)] ] [] ] @@ -214,6 +215,8 @@ tbModule' ids bss top = . filter (/= (Id "clk")) $ (Id . fromPort <$> (top ^. modInPorts))) inIds = RegConcat $ fmap Id ids + outputs = top^..modOutPorts.traverse.portName + counterTestBench :: CounterEg -> (ModDecl ann) -> (Verilog ann) counterTestBench (CounterEg _ states) m = tbModule filtered m -- cgit