Language.Atom.Language

Primary Language Containers

type Atom

Hierarchical Rule Declarations

atom

period

getPeriod

phase

exactPhase

getPhase

Action Directives

cond

class Assign a

incr

decr

Variable Declarations

var

var'

array

array'

bool

bool'

int8

int8'

int16

int16'

int32

int32'

int64

int64'

word8

word8'

word16

word16'

word32

word32'

word64

word64'

float

float'

double

double'

Custom Actions

action

call

Probing

probe

probes

Assertions and Functional Coverage

assert

cover

assertImply

Utilities

type Name

liftIO

path

clock

Code Coverage

nextCoverage