Language.Atom.Language

Contents

Primary Language Containers
Hierarchical Rule Declarations
Action Directives
Variable Declarations
Custom Actions
Probing
Assertions and Functional Coverage
Utilities
Code Coverage

Description

The Atom language.

Synopsis

module Language.Atom.Expressions
type Atom = Atom
atom :: Name -> Atom a -> Atom a
period :: Int -> Atom a -> Atom a
getPeriod :: Atom Int
phase :: Int -> Atom a -> Atom a
exactPhase :: Int -> Atom a -> Atom a
getPhase :: Atom Int
cond :: E Bool -> Atom ()
class Expr a => Assign a where
- (<==) :: V a -> E a -> Atom ()
incr :: (Assign a, NumE a) => V a -> Atom ()
decr :: (Assign a, NumE a) => V a -> Atom ()
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
bool :: Name -> Bool -> Atom (V Bool)
bool' :: Name -> V Bool
int8 :: Name -> Int8 -> Atom (V Int8)
int8' :: Name -> V Int8
int16 :: Name -> Int16 -> Atom (V Int16)
int16' :: Name -> V Int16
int32 :: Name -> Int32 -> Atom (V Int32)
int32' :: Name -> V Int32
int64 :: Name -> Int64 -> Atom (V Int64)
int64' :: Name -> V Int64
word8 :: Name -> Word8 -> Atom (V Word8)
word8' :: Name -> V Word8
word16 :: Name -> Word16 -> Atom (V Word16)
word16' :: Name -> V Word16
word32 :: Name -> Word32 -> Atom (V Word32)
word32' :: Name -> V Word32
word64 :: Name -> Word64 -> Atom (V Word64)
word64' :: Name -> V Word64
float :: Name -> Float -> Atom (V Float)
float' :: Name -> V Float
double :: Name -> Double -> Atom (V Double)
double' :: Name -> V Double
action :: ([String] -> String) -> [UE] -> Atom ()
call :: Name -> Atom ()
probe :: Expr a => Name -> E a -> Atom ()
probes :: Atom [(String, UE)]
assert :: Name -> E Bool -> Atom ()
cover :: Name -> E Bool -> Atom ()
assertImply :: Name -> E Bool -> E Bool -> Atom ()
type Name = String
liftIO :: MonadIO m => forall a. IO a -> m a
path :: Atom String
clock :: E Word64
nextCoverage :: Atom (E Word32, E Word32)

Documentation

module Language.Atom.Expressions

Primary Language Containers

type Atom = Atom Source

The Atom monad captures variable and transition rule declarations.

Hierarchical Rule Declarations

atom :: Name -> Atom a -> Atom aSource

Creates a hierarchical node, where each node could be a atomic rule.

period :: Int -> Atom a -> Atom aSource

Defines the period of execution of sub rules as a factor of the base rate of the system. Rule period is bound by the closest period assertion. For example:

 period 10 $ period 2 a -- Rules in 'a' have a period of 2, not 10.

getPeriod :: Atom Int Source

Returns the execution period of the current scope.

phase :: Int -> Atom a -> Atom aSource

Defines the earliest phase within the period at which the rule should execute; the scheduler attempt to find an optimal phase from 0 <= n < period (thus, the phase must be at least zero and less than the current period .).

exactPhase :: Int -> Atom a -> Atom aSource

Ensures an atom is scheduled only at phase n.

getPhase :: Atom Int Source

Returns the phase of the current scope.

Action Directives

cond :: E Bool -> Atom () Source

Adds an enabling condition to an atom subtree of rules. This condition must be true before any rules in hierarchy are allowed to execute.

class Expr a => Assign a whereSource

Methods

(<==) :: V a -> E a -> Atom () Source

Assign an E to a V .

Instances

Assign Bool

Assign Double

Assign Float

Assign Int8

Assign Int16

Assign Int32

Assign Int64

Assign Word8

Assign Word16

Assign Word32

Assign Word64

incr :: (Assign a, NumE a) => V a -> Atom () Source

Increments a NumE V .

decr :: (Assign a, NumE a) => V a -> Atom () Source

Decrements a NumE V .

Variable Declarations

var :: Expr a => Name -> a -> Atom (V a)Source

Generic local variable declaration.

var' :: Name -> Type -> V aSource

Generic external variable declaration.

array :: Expr a => Name -> [a] -> Atom (A a)Source

Generic array declaration.

array' :: Expr a => Name -> Type -> A aSource

Generic external array declaration.

bool :: Name -> Bool -> Atom (V Bool)Source

Local boolean variable declaration.

bool' :: Name -> V Bool Source

External boolean variable declaration.

int8 :: Name -> Int8 -> Atom (V Int8)Source

Local int8 variable declaration.

int8' :: Name -> V Int8 Source

External int8 variable declaration.

int16 :: Name -> Int16 -> Atom (V Int16)Source

Local int16 variable declaration.

int16' :: Name -> V Int16 Source

External int16 variable declaration.

int32 :: Name -> Int32 -> Atom (V Int32)Source

Local int32 variable declaration.

int32' :: Name -> V Int32 Source

External int32 variable declaration.

int64 :: Name -> Int64 -> Atom (V Int64)Source

Local int64 variable declaration.

int64' :: Name -> V Int64 Source

External int64 variable declaration.

word8 :: Name -> Word8 -> Atom (V Word8)Source

Local word8 variable declaration.

word8' :: Name -> V Word8 Source

External word8 variable declaration.

word16 :: Name -> Word16 -> Atom (V Word16)Source

Local word16 variable declaration.

word16' :: Name -> V Word16 Source

External word16 variable declaration.

word32 :: Name -> Word32 -> Atom (V Word32)Source

Local word32 variable declaration.

word32' :: Name -> V Word32 Source

External word32 variable declaration.

word64 :: Name -> Word64 -> Atom (V Word64)Source

Local word64 variable declaration.

word64' :: Name -> V Word64 Source

External word64 variable declaration.

float :: Name -> Float -> Atom (V Float)Source

Local float variable declaration.

float' :: Name -> V Float Source

External float variable declaration.

double :: Name -> Double -> Atom (V Double)Source

Local double variable declaration.

double' :: Name -> V Double Source

External double variable declaration.

Custom Actions

action :: ([String] -> String) -> [UE] -> Atom () Source

Declares an action.

call :: Name -> Atom () Source

Calls an external C function of type 'void f(void)'.

Probing

probe :: Expr a => Name -> E a -> Atom () Source

Declares a probe.

probes :: Atom [(String, UE)]Source

Fetches all declared probes to current design point.

Assertions and Functional Coverage

assert :: Name -> E Bool -> Atom () Source

An assertions checks that an E Bool is true. Assertions are checked between the execution of every rule. Parent enabling conditions can disable assertions, but period and phase constraints do not. Assertion names should be globally unique.

cover :: Name -> E Bool -> Atom () Source

A functional coverage point tracks if an event has occured (true). Coverage points are checked at the same time as assertions. Coverage names should be globally unique.

assertImply :: Name -> E Bool -> E Bool -> Atom () Source

Implication assertions. Creates an implicit coverage point for the precondition.

Utilities

type Name = String Source

A name.

liftIO :: MonadIO m => forall a. IO a -> m a

path :: Atom String Source

Returns the current atom hierarchical path.

clock :: E Word64 Source

Reference to the 64-bit free running clock.

Code Coverage

nextCoverage :: Atom (E Word32, E Word32)Source

Rule coverage information. (current coverage index, coverage data)