Simulink® Design Verifier™ не поддерживает следующие функции блока MATLAB Function в программном обеспечении Simulink и функций MATLAB® в программном обеспечении Stateflow®. Избегайте использования этих неподдерживаемых функций в моделях, которые вы анализируете с Simulink Design Verifier.
| Не поддерживаемый | Описание |
|---|---|
'characters' | Программное обеспечение не поддерживает символы, которые позволяет MATLAB для генерации кода. |
C функции | Программное обеспечение не делает обращений за поддержкой к внешним функциям C, которые позволяет MATLAB для генерации кода. |
Внешние функции | Программное обеспечение поддерживает внешние функции только, когда они не влияют на выход функции MATLAB. |
Классы Handle | Программное обеспечение не поддерживает классы Handle в блоке MATLAB Function. Программное обеспечение действительно поддерживает классы значения. |
Simulink Design Verifier обеспечивает различные уровни поддержки MATLAB для библиотечных функций генерации кода. Программное обеспечение или полностью или частично поддерживает конкретные функции. Это не поддерживает другие функции.
Если ваша модель содержит неподдерживаемые функции, можно включить автоматическое блокирование, которое рассматривает интерфейс неподдерживаемых функций, но не их поведение. Однако, если какая-либо из неподдерживаемых функций влияет на результат симуляции, анализ может достигнуть только частичных результатов. Для получения дополнительной информации об автоматическом блокировании, смотрите Несовместимости Указателя с Автоматическим Блокированием.
Чтобы достигнуть 100%-го покрытия, избегайте использования неподдерживаемых библиотечных функций MATLAB в моделях, которые вы анализируете.
В следующей таблице перечислены поддержку Simulink Design Verifier категорий библиотечных функций в генерации кода из MATLAB:
Программное обеспечение поддерживает функции в той категории, обозначенной тире (—).
Программное обеспечение не делает функций поддержки в той категории.
Программное обеспечение поддерживает функцию в той категории с ограничениями, как задано.
Для полного списка доступных функций смотрите Функции и Объекты, Поддержанные для Генерации кода C/C++ (Simulink).
| Функциональная категория | Поддержите примечания | |
|---|---|---|
| Функции Aerospace Toolbox | Не поддерживаемый. | |
| Функции арифметического оператора | Поддерживаемый с нижеследующими ограничениями: | |
mldivide (\) | Поддержки только скалярные аргументы. | |
mpower (^) | Поддержки только целочисленные экспоненты. | |
mrdivide (/) | Поддержки только скалярные аргументы. | |
power (.^) | Поддержки только целочисленные экспоненты. | |
| Функции битовой операции | — | |
| Кастинг функций | Поддерживаемый с нижеследующими ограничениями: | |
char | Не поддерживаемый. | |
typecast | Не поддерживаемый. | |
| Функции Communications Toolbox™ | Не поддерживаемый. | |
| Функции комплексного числа | Поддерживаемый. | |
| Функции Computer Vision Toolbox™ | Не поддерживаемый. | |
| Функции типа данных | — | |
| Производные и Интегральные функции | Не поддерживаемый. | |
| Дискретные математические функции | — | |
| Функции обработки ошибок | Поддерживаемый с нижеследующими ограничениями: | |
assert | Поддерживаемый, но не ведет себя как блок Proof Objective. | |
| Показательные функции | Поддерживаемый. | |
| Фильтрация и функции свертки | Поддерживаемый с нижеследующими ограничениями: | |
detrend | Не поддерживаемый. | |
| Функции Fixed-Point Designer™ | Поддерживаемый | |
| Функции гистограммы | Не поддерживаемый. | |
| Функции Image Processing Toolbox™ | Не поддерживаемый. | |
| Функции ввода и вывода | — | |
| Интерполяция и геометрия расчета | Поддерживаемый с нижеследующими ограничениями: | |
cart2pol | Не поддерживаемый. | |
cart2sph | Не поддерживаемый. | |
pol2cart | Не поддерживаемый. | |
sph2cart | Не поддерживаемый. | |
| Линейная алгебра | Не поддерживаемый. | |
| Функции логического оператора | — | |
| Функции MATLAB Compiler™ | Не поддерживаемый. | |
| Функции матриц и массивов | Поддерживаемый с нижеследующими ограничениями: | |
angle | Не поддерживаемый. | |
cond | Не поддерживаемый. | |
det | Не поддерживаемый. | |
eig | Не поддерживаемый. | |
inv | Не поддерживаемый. | |
invhilb | Не поддерживаемый. | |
logspace | Не поддерживаемый. | |
lu | Не поддерживаемый. | |
norm | Поддерживаемый только, вызвано с помощью синтаксиса norm(A,p) где | |
normest | Не поддерживаемый. | |
pinv | Не поддерживаемый. | |
planerot | Не поддерживаемый. | |
qr | Не поддерживаемый. | |
rank | Не поддерживаемый. | |
rcond | Не поддерживаемый. | |
subspace | Не поддерживаемый. | |
| Нелинейные численные методы | Не поддерживаемый. | |
| Полиномиальные функции | Не поддерживаемый. | |
| Функции реляционных операций | — | |
| Округление и функции остатка | — | |
| Функции множества | — | |
| Обработка сигналов функционирует в MATLAB | Не поддерживаемый. | |
| Функции Signal Processing Toolbox™ | Не поддерживаемый. | |
| Специальные значения | Поддерживаемый с нижеследующими ограничениями: | |
rand | Не поддерживаемый. | |
randn | Не поддерживаемый. | |
| Специализированная математика | Не поддерживаемый. | |
| Статистические функции | — | |
| Строковые функции | Поддерживаемый с нижеследующими ограничениями: | |
char | Не поддерживаемый. | |
ischar | Не поддерживаемый. | |
| Тригонометрические функции | Не поддерживаемый. | |