— Command: time-fmt [[no]fixed|[no]sci|INT]*

Controls the formatting and precision of time values.

• [no]fixed : fixed-point
• [no]sci : scientific-notation
• INT : precision

— Command: confirm
— Command: noconfirm

Controls whether or not correct assertions are reported.

— Command: watch nodes...

Adds nodes to a watch-list of nodes to display when their values change, much like breakpt, but doesn't interrupt simulation.

— Command: unwatch nodes...

Removes nodes from list of watched nodes.

— Command: watches

Print list of all explicitly watched nodes.

— Command: watchall
— Command: nowatchall

Display every node value change (regardless of present in watch-list). nowatchall restores the state where only explicitly watched nodes are displayed on value changes.

— Command: cause
— Command: nocause

cause displays causal information of nodes as they change value. nocause hides cause information, but silently keeps track.

— Command: tcounts
— Command: notcounts

tcounts displays transition counts on nodes as they change value. notcounts hides transition count information. Only transitions to 0 or 1 are counted; transitions to X are not counted. Transitions are always counted, just not always displayed.

— Command: zerotcounts

Reset all transition counts to 0.

— Command: watch-queue
— Command: nowatch-queue

Show changes to the event-queue as events on only watched nodes are scheduled. Typically only used during debugging or detailed diagnostics.

— Command: watchall-queue
— Command: nowatchall-queue

Show changes to the event-queue as every event is scheduled. Typically only used during debugging or detailed diagnostics.