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