Покрытие переключений всегда считает переходы логического узла из одного состояние в другое. Ранее в уроках вы разрешили шесть состояний покрытия переключений, используя ключ -cover x в команде vlog или vcom. Обратитесь к секции "Покрытие переключений" в руководстве пользователя за подробной информацией.

        1. Просмотр данных переключений в окне Objects.
        a. Выберите test_sm в окне Structure (sim).
        b. Если окно Objects не открыто, выберите View > Objects. Прокрутите вправо, чтобы увидеть другие столбцы покрытия переключений, или открепите и разверните окно, пока не будут видны все столбцы (рис.13-10).