oneshot.hs

Cores are generated from Confluence a modern logic design language. Confluence is a simple, yet high

-- | Rising and falling one-shots.
module Language.Atom.Common.OneShot
  ( oneShotRise
  , oneShotFall
  ) where

import Language.Atom

-- | One-shot on a rising transition.
oneShotRise :: Name -> Term Bool -> System (Term Bool)
oneShotRise name input = scope name $ do
  last <- bool "last" False
  rule "updateLast" $ do
    alwaysActiveWhenEnabled
    last <== input
  return $ input &&. inv (value last)

-- | One-shot on a falling transition.
oneShotFall :: Name -> Term Bool -> System (Term Bool)
oneShotFall name input = oneShotRise name $ inv input