Модели удержания, используемые в этом примере, требуют, чтобы такт был переключен в LOW (0) во время последовательности сохранения/восстановления. Третий тест проверяет, чтобы пример правильно переключил такт в LOW. В RTL описании, вы можете использовать назначения для проверки переключения соответствующего такта.
        В окне Assertions обратите внимание, что назначение, называемое a_ret_clk_gate, пропущено.

        1. Выберите это назначение и правым кликом вызовите всплывающее меню.

        2. Выберите Add Wave > Selected Objects, чтобы добавить их в окно Wave.

        3. На рис. 16-6 показано, как это назначение проходит через два первых теста и пропускается на третьем.

        4. Если вы наведёте курсор на пропуск на 177780 нс, прикреплённое окно отладки показывает, что назначение пропущено из-за:
        /interleaver_tester/dut/mc0/clk=St1

        5. По умолчанию, сообщения от всех назначений быстро просматриваются в этом тесте, и сбрасываются в окно Transcript, которое может смешать информацию о сообщениях, командах и пр. ModelSim предлагает окно Message Viewer (просмоторщик сообщений) (рис. 16-7), которое структурирует все сообщения для облегчения просмотра. Вы можете выбрать его в меню main: View > Message Viewer.

        Из этого окна, проще переходить от сообщений об ошибке к источникам назначений, в окно Wave или на панель отладки назначений.