Simulink® Design Verifier™ не поддерживает следующие функции блока MATLAB Function в программном обеспечении Simulink и MATLAB® функции в Stateflow® программное обеспечение. Избегайте использования этих неподдерживаемых функций в моделях, которые вы анализируете с Simulink Design Verifier.
| Не поддерживается | Описание |
|---|---|
Персонажи | Программа не поддерживает символы, что позволяет MATLAB для генерации кода. |
Функции C | Программное обеспечение не поддерживает вызовы внешних функций C, что позволяет MATLAB для генерации кода. |
Внешние функции | Программное обеспечение поддерживает внешние функции только, когда они не влияют на выход функции MATLAB. |
Классы Handle | Программа не поддерживает классы Handle в блоке MATLAB Function. Программное обеспечение поддерживает классы значений. |
Функция Sqrt | Программное обеспечение не поддерживает |
Simulink Design Verifier обеспечивает различные уровни поддержки MATLAB для функций библиотеки генерации кода. Программное обеспечение полностью или частично поддерживает конкретные функции. Он не поддерживает другие функции.
Если ваша модель содержит неподдерживаемые функции, можно включить автоматическое упрямство, которое рассматривает интерфейс неподдерживаемых функций, но не их поведение. Однако, если какая-либо из неподдерживаемых функций влияет на результат симуляции, анализ может достичь только частичных результатов. Для получения дополнительной информации об автоматическом упрямстве смотрите Handle Incompatibilities with Automatic Stubbing.
Чтобы достичь 100% покрытия, избегайте использования неподдерживаемых функций библиотеки MATLAB в моделях, которые вы анализируете.
В следующей таблице перечислена поддержка Simulink Design Verifier для категорий библиотечных функций при генерации кода из MATLAB:
Программное обеспечение поддерживает функции этой категории, обозначенные штрихом (-).
Программное обеспечение не поддерживает функции этой категории.
Программное обеспечение поддерживает функцию в этой категории с ограничениями, как указано.
Полный список доступных функций см. в разделе Функции и Объекты, поддерживаемые для генерации кода C/C + +.
| Категория функции | Примечания по поддержке | |
|---|---|---|
| Функции 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 | Не поддерживается. | |
| Тригонометрические функции | Не поддерживается. | |