Language.Atom.Elaboration

Contents

• Atom monad and container.
• Type Aliases and Utilities

Description

Synopsis

• data Atom a
• data AtomDB = AtomDB {
  • atomId :: Int
  • atomName :: Name
  • atomNames :: [Name]
  • atomEnable :: Hash
  • atomSubs :: [AtomDB]
  • atomPeriod :: Int
  • atomPhase :: Phase
  • atomAssigns :: [(MUV, Hash)]
  • atomActions :: [([String] -> String, [Hash])]
  • atomAsserts :: [(Name, Hash)]
  • atomCovers :: [(Name, Hash)]
  }
• data Global = Global {
  • gRuleId :: Int
  • gVarId :: Int
  • gArrayId :: Int
  • gState :: [StateHierarchy]
  • gProbes :: [(String, Hash)]
  • gPeriod :: Int
  • gPhase :: Phase
  }
• data Rule
  • = Rule {
    • ruleId :: Int
    • ruleName :: Name
    • ruleEnable :: Hash
    • ruleAssigns :: [(MUV, Hash)]
    • ruleActions :: [([String] -> String, [Hash])]
    • rulePeriod :: Int
    • rulePhase :: Phase
    }
  • | Assert {
    • ruleName :: Name
    • ruleEnable :: Hash
    • ruleAssert :: Hash
    }
  • | Cover {
    • ruleName :: Name
    • ruleEnable :: Hash
    • ruleCover :: Hash
    }
• data StateHierarchy
  • = StateHierarchy Name [StateHierarchy]
  • | StateVariable Name Const
  • | StateArray Name [Const]
• buildAtom :: UeMap -> Global -> Name -> Atom a -> IO (a, AtomSt)
• type UID = Int
• type Name = String
• data Phase
  • = MinPhase Int
  • | ExactPhase Int
• type Path = [Name]
• elaborate :: UeMap -> Name -> Atom () -> IO (Maybe (UeMap, (StateHierarchy, [Rule], [Name], [Name], [(Name, Type)])))
• var :: Expr a => Name -> a -> Atom (V a)
• var' :: Name -> Type -> V a
• array :: Expr a => Name -> [a] -> Atom (A a)
• array' :: Expr a => Name -> Type -> A a
• addName :: Name -> Atom Name
• get :: Atom AtomSt
• put :: AtomSt -> Atom ()
• allUVs :: UeMap -> [Rule] -> Hash -> [MUV]
• allUEs :: Rule -> [Hash]

Atom monad and container.

Type Aliases and Utilities