Not gate

Clash01.hs

{-# LANGUAGE ImplicitParams #-}

module Clash01 where

import Clash.Prelude

notL :: Bool -> Bool
notL = not 

notTF s i = (not i, not i)

notM :: (?rst::Reset domain synchronous, ?clk::Clock domain gated) => Signal domain Bool -> Signal domain Bool
notM = mealy notTF False

topEntity
  :: SystemClockReset
  => Signal System Bool
  -> Signal System Bool
topEntity = notM 
{-# NOINLINE topEntity #-}

testBench :: Signal System Bool
testBench = done'
  where
    testInput      = stimuliGenerator $(listToVecTH [True , False, True , True , False, False])
    expectedOutput = outputVerifier   $(listToVecTH [False, True , False, False, True , True ])
    done           = expectedOutput (topEntity testInput)
    done' = withClockReset (tbSystemClockGen (not <$> done')) systemResetGen done