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