В начале моделирования программного обеспечения в цикле (SIL) или процессора в цикле (PIL) программное обеспечение проверяет некоторые настройки параметров конфигурации со ссылкой на целевое оборудование.
Например, в диалоговом окне Параметры конфигурации (Configuration Parameters) параметры аппаратной реализации (Hardware Implementationsettings) задают целевое поведение, которое приводит к реализации неявных допущений в сгенерированном коде. Неправильные настройки могут привести к:
Неоптимальный код
Сбой выполнения кода, неправильный вывод кода и недетерминированное поведение кода
Программное обеспечение проверяет:
Правильность настроек. Например, длина целочисленного бита в поле Число битов: int.
Оптимизируются ли параметры. Например, округление целочисленного деления со знаком в поле Целочисленное деление со знаком округляется до поля.
При моделировании создается страница «Предположения кодера» для отчета о создании кода, который содержит список:
Проверяемые допущения создания кода
Ожидаемые результаты для проверок допущений
Эта таблица показывает, когда выполняются проверки, и результаты, когда предположения создания кода неверны.
| Стадия | Что проверено | Результат |
|---|---|---|
Препроцессор | Число битов на:
Если поддержка длинная ( Для каждого типа данных проверка препроцессора не выполняется, если количество битов превышает эти настройки для целевого препроцессора C:
| Ошибка, если размеры типов данных для модели и целевого оборудования не совпадают. |
Время выполнения | Число битов на:
| Ошибка, если размеры типов данных для модели и целевого оборудования не совпадают. |
Если поддержка длинная ( | Ошибка, если:
| |
Размер:
Невозможно настроить эти размеры типов данных с помощью панели «Реализация оборудования». Проверка выполняется только в том случае, если выбрано значение Support: floating-point number. | Предупреждение, если размеры типов данных для модели и целевого оборудования не совпадают. Для | |
Число битов на:
| Ошибка, если размеры типов данных для модели и целевого оборудования не совпадают. | |
Округления целочисленного деления со знаком ( | Предупреждение, если установлен параметр модели Ошибка, если поведение целевого оборудования не определено, а параметр модели не задан Ошибка, если определено поведение целевого оборудования, но параметры модели и целевого оборудования не совпадают. | |
Порядок байтов ( | Предупреждение, если параметр имеет значение | |
Сдвиг вправо на целое число со знаком как арифметический сдвиг ( | Ошибка, если параметры модели и целевого оборудования не совпадают. | |
Удалить инициализацию нуля ввода-вывода на корневом уровне ( | Предупреждение, если | |
Удалить инициализацию внутреннего нуля данных ( | Предупреждение, если | |
Использовать динамическое выделение памяти для инициализации модели ( | Предупреждение, если | |
Поведение моделирования для денормальных чисел ( | Ошибка, если поведение для модели и целевого оборудования не совпадает. |
Панель внедрения аппаратного обеспечения