Process STATE_TRANS or STATE_TRANS_GROUP commands. Order of processing is:
Trans for all pins
Trans for inputs only
Trans for outputs only
Trans for groups
Process CHECK_WINDOW commands for output pins. Pins become DON’T_CARE state outside of window.
For event-based formats only
BIDIRECTIONAL PIN MERGING
Process MERGE_BIDIRECTS command – all bidirect pins merged onto input version according to precedence or rule.
Filter successive identical vectors unless DISABLE_VECTOR_FILTER command is present.
TO OUTPUT FORMATTERS