Add I2C unit test to clash-cores:unittests

Author: lmbollen

clash-cores/src/Clash/Cores/I2C.hs

@@ -1,6 +1,10 @@
 {-# LANGUAGE CPP #-}
 
-module Clash.Cores.I2C where
+module Clash.Cores.I2C
+  ( i2c
+  , i2cTop
+  , Clash.Cores.I2C.ByteMaster.I2COperation(..)
+  ) where
 
 import Clash.Prelude hiding (read)
 

clash-cores/test/Test/Cores/I2C.hs

@@ -8,9 +8,11 @@ import Clash.Explicit.Prelude
 import Clash.Cores.I2C
 
 import Data.Maybe
-import Test.Cores.I2C.Slave
 import Test.Cores.I2C.Config
-import Clash.Cores.I2C.ByteMaster (I2COperation(..))
+import Test.Cores.I2C.Slave
+import Test.Tasty
+import Test.Tasty.HUnit
+
 
 system0 :: Clock System -> Reset System -> Signal System (Vec 16 (Unsigned 8), Bool, Bool)
 system0 clk arst = bundle (registerFile,done,fault)
@@ -42,3 +44,9 @@ system = system0 systemClockGen resetGen
 
 systemResult :: (Vec 16 (Unsigned 8), Bool, Bool)
 systemResult = L.last (sampleN 200050 system)
+
+i2cTest :: TestTree
+i2cTest = testCase "i2c core testcase passed."
+  $ assertBool "i2c core test procedure failed" (not f)
+ where
+  (_, _, f) = L.last $ takeWhile (\ (_, done, _) -> not done) $ sample system

clash-cores/test/Test/Cores/I2C/Config.hs

@@ -54,7 +54,7 @@ configT s0 (rst,ena,cmdAck,rxAck,al) = do
       -> pure s { i2cConfStateM = CONFaddr }
       | done
       -> do display "done"
-            finish 0
+            pure s
 
     CONFaddr
       -> pure s { i2cConfStateM = CONFaddrAck

clash-cores/test/unittests.hs

@@ -10,6 +10,7 @@ module Main where
 import Prelude
 import Test.Tasty
 
+import qualified Test.Cores.I2C
 import qualified Test.Cores.SPI
 import qualified Test.Cores.SPI.MultiSlave
 import qualified Test.Cores.UART
@@ -23,6 +24,7 @@ tests = testGroup "Unittests"
   , Test.Cores.UART.tests
   , Test.Cores.Xilinx.DcFifo.tests
   , Test.Cores.Xilinx.BlockRam.tests
+  , Test.Cores.I2C.i2cTest
   ]
 
 main :: IO ()