Разрешение Code Coverage (кодового покрытия) – это простой процесс: вы компилируете файлы проекта и идентифицируете, какую статистику покрытия вы хотите собрать. Затем вы загружаете проект и сообщаете ModelSim произвести эту статистику.

        1. Создайте новую директорию и скопируйте в неё учебные файлы.
        Начните с создания новой директории для этого урока (в том случае, если другие пользователи уже работали с этим уроком). Создайте новую директорию и скопируйте в неё файлы из /modeltech/examples/tutorials/verilog/coverage в новую директорию.
        Если вы используете лицензию VHDL, скопируйте файлы /modeltech/examples/tutorials/vhdl/coverage соответственно.

        2. Запустите ModelSim и смените директорию упражнения.
        Если вы только что закончили предыдущий урок, то ModelSim уже запущен. Если нет, запустите ModelSim.
        a. Введите vsim в командной строке UNIX или используйте иконку ModelSim в Windows. Если появится окно приветствия, кликните Close.
        b. Выберите File > Change Directory и измените директорию на ту, что вы создали в п.1.

        3. Создание рабочей библиотеки и компиляция проекта.
        a. Введите vlib work в ModelSim> запрос команды.
        b. Verilog:
        Введите vlog *.v в ModelSim> запрос команды.
        VHDL:
        Введите vcom *.vhd в ModelSim> запрос команды.

        4. Оптимизация проекта.
        a. Введите следующую команду в ModelSim> запрос команды:
        vopt +cover=bcsxf test_sm -o test_sm_opt
        Ключ +cover=bcsxf инструктирует ModelSim коллекционировать статистику покрытия ответвлений, состояний, операторов, распространённых переключателей и конечных автоматов. Обратитесь к секции "Типы покрытия кода" в руководстве пользователя за подробной информацией о типах возможных покрытий.
        Ключ -o позволяет вам придумать имя оптимизированного файла проекта (vsim test_sm_opt).
        Внимание. По умолчанию, ModelSim оптимизирует все проекты (см. "Оптимизация проектов с vopt").