Simulink® Design Verifier™ не поддерживает следующие программные функции Simulink. Избегайте использования этих неподдерживаемых функций.
| Не поддерживаемый | Описание |
|---|---|
Решатели переменного шага | Программное обеспечение поддерживает только решатели фиксированного шага. Для получения дополнительной информации смотрите Фиксированные Решатели Шага в Simulink. |
Функции обратного вызова | Программное обеспечение не выполняет функции обратного вызова модели во время анализа. Результаты, которые анализ генерирует, такие как модель тестовой обвязки, могут вести себя противоречиво с ожидаемым поведением.
|
Функции обратного вызова модели | Программное обеспечение только поддерживает функции обратного вызова модели если |
Алгебраические циклы | Программное обеспечение не делает моделей поддержки, которые содержат алгебраические циклы. Для получения дополнительной информации смотрите Алгебраические Концепции Цикла. |
Функции инициализации подсистемы маскированные | Программное обеспечение не делает моделей поддержки, чья инициализация подсистемы маскированная изменяет любой атрибут любого параметра рабочей области. |
Сигналы переменного размера | Программное обеспечение не поддерживает сигналы переменного размера. Сигнал переменного размера является сигналом, размер которого (число элементов в размерности), в дополнение к ее значениям, может измениться во время выполнения модели. Для получения дополнительной информации смотрите Основы Сигнала Переменного Размера. |
Типы данных с фиксированной точкой многословные | Программное обеспечение не поддерживает типы данных с фиксированной точкой многословные, больше, чем 128 битов. |
Ненулевые времена запуска | Несмотря на то, что Simulink позволяет вам задавать ненулевое время начала симуляции, анализ генерирует данные сигнала, который начинается только в нуле. Если ваша модель задает ненулевое время начала:
|
Неличные данные | Программное обеспечение не поддерживает неличные данные (например, В блоке Relational Operator программное обеспечение присваивает выход можно следующим образом:
В блоке MATLAB Function программное обеспечение присваивает возвращаемое значение можно следующим образом:
|
Параллельное выполнение | Программное обеспечение не делает моделей поддержки, которые сконфигурированы для параллельного выполнения. |
Сигналы с ненулевым шагом расчета возмещены | Программное обеспечение не делает моделей поддержки с сигналами, которые имеют ненулевые смещения шага расчета. |
Модели без выходных портов | Программное обеспечение только поддерживает модели, которые имеют один или несколько выходных портов. |
Большие константы с плавающей точкой вне области значений | Использование больших констант с плавающей точкой может вызвать из ошибок памяти или существенной потери точности. Избегайте использования таких констант, если это возможно. |
Символьные размерности | Программное обеспечение не поддерживает символьные размерности для генерации тестов, доказательства свойства или поиска ошибок проектирования. |
| Строки Simulink | Модели, которые содержат блоки с типами данных String как параметры блоков, не поддерживаются. Для получения дополнительной информации смотрите Строки Simulink. |
| Упорядоченные по строкам алгоритмы | Программное обеспечение не поддерживает упорядоченные по строкам алгоритмы для симуляции блока. Для получения дополнительной информации смотрите, алгоритмы Использования, оптимизированные для упорядоченного по строкам размещения массивов.
|