Specifications

Modifying the User-level Macro
Before you begin building a trigger specification using the User-level macro,
it should be noted that in most cases one of the pre-defined trigger macros
will work.
If you need to accommodate a specific trigger condition, or you prefer to
construct a trigger specification from scratch, you will use the User-level
macro to build from. This macro appears in long form, which means it has
the analyzer’s total flexibility available in terms of resource terms, global
timers, occurrence counters, duration counters, and two way branching.
The User-level macro has a "fill-in-the-blanks" type statement. You have the
following elements to use:
Bit Patterns, Ranges, and Edges
Storage Qualification
< and > Durations
Occurrence Counters
Timers
Branching
User-level Macro
Secondary "else on"
branch
Assignment field
Primary "Find" branch
The Trigger Menu
Modifying the User-level Macro
12–19