COMMAND NAME:

        WRITE COVERAGE

ABBREVIATIONS:

For WRITE:

        WR

For COVERAGE:

        COV

USAGE:
        WRITE COVERAGE "filename" [, {0 | 1 | 2 | 3}]

        Outputs the list of signals that have made a transition 
        and the number of transitions that they have made. If the
        optional parameter (0 - 3) is specified, the signals are 
        processed based on the number of times that they have made 
        a transition.  The signals are sorted by the number of 
        transitions, and the file only contains those signal names 
        in specific groups.  For example, specifying "0" indicates 
        that only signals making 0 transitions (i.e. those that 
        have not changed) should be output, and "1" indicates that 
        only those signals making 0 or 1 transitions are output.  
        See also the COVERAGE and INIT_COVERAGE commands.

