Задайте опции то управление как Simulink® Design Verifier™ обнаруживает ошибки периода выполнения в моделях, которые он анализирует.
Задайте, анализировать ли вашу модель для мертвой логики. Это может привести к частичному анализу. Выберите Run exhaustive analysis, чтобы всегда запустить исчерпывающий анализ.
Значение по умолчанию: Off
OnМертвая логика отчетов идентифицирована в вашей модели.
OffНе анализирует для мертвой логики.
Параметр:
DVDetectDeadLogic |
| Ввод: массив символов |
Значение:
'on' | 'off' |
Значение по умолчанию:
'off' |
Основывается на проверке Dead logic (partial). Задайте эту опцию для того, чтобы запустить исчерпывающий анализ для мертвой логики в модели.
Значение по умолчанию: Off
OnВыполните исчерпывающий анализ для мертвой логики в вашей модели.
OffНе выполняет исчерпывающий анализ для мертвой логики в вашей модели.
Параметр:
DVDetectActiveLogic |
| Ввод: массив символов |
Значение:
'on' | 'off' |
Значение по умолчанию:
'off' |
Этот параметр зависит от Dead logic (partial) и работает только, когда Dead logic (partial) также включен.
Задайте, анализировать ли вашу модель для из связанных ошибок доступа к массиву.
Значение по умолчанию: On
OnОтчеты из связанных ошибок доступа к массиву в вашей модели.
OffНе сообщает из связанных ошибок доступа к массиву в вашей модели.
Параметр:
DVDetectOutOfBounds |
| Ввод: массив символов |
Значение:
'on' | 'off' |
Значение по умолчанию:
'on' |
Задайте, анализировать ли вашу модель для нарушений прав доступа хранилища данных. Поиск ошибок проектирования проверяет на эти нарушения, связанные с блоками Data Store Memory:
Чтение перед записью
Запись после чтения
Запись после записи
Значение по умолчанию: Off
OnНарушения прав доступа хранилища данных отчетов в вашей модели.
OffНе сообщают нарушения прав доступа хранилища данных в вашей модели.
Параметр:
DVDetectDSMAccessViolations |
| Ввод: массив символов |
Значение:
'on' | 'off' |
Значение по умолчанию:
'off' |
Задайте, анализировать ли вашу модель для ошибок деления на нуль.
Значение по умолчанию: On
OnОшибки деления на нуль отчетов в вашей модели.
OffНе сообщают ошибки деления на нуль в вашей модели.
Параметр:
DVDetectDivisionByZero |
| Ввод: массив символов |
Значение:
'on' | 'off' |
Значение по умолчанию:
'on' |
Обнаружьте ошибки целочисленного переполнения и деления на нуль
Задайте, анализировать ли вашу модель для ошибок переполнения данных целочисленной и фиксированной точки.
Значение по умолчанию: On
OnЦелое число отчетов или данные фиксированной точки переполняют ошибок в вашей модели.
OffНе сообщают ошибки переполнения данных целочисленной или фиксированной точки в вашей модели.
Параметр: DVDetectIntegerOverflow |
| Ввод: массив символов |
Значение: 'on' | 'off' |
Значение по умолчанию: 'on' |
Обнаружьте ошибки целочисленного переполнения и деления на нуль
Задайте, анализировать ли вашу модель для неличного и NaN значения с плавающей точкой.
Значение по умолчанию: Off
OnСообщает неличный и NaN значения с плавающей точкой в вашей модели.
OffНе сообщает неличный и NaN значения с плавающей точкой в вашей модели.
Параметр:
DVDetectInfNaN |
| Ввод: массив символов |
Значение:
'on' | 'off' |
Значение по умолчанию:
'off' |
Обнаружьте неличный, NaN и субнормальные значения с плавающей точкой
Задайте, анализировать ли вашу модель для субнормальных значений с плавающей точкой.
Значение по умолчанию: Off
OnПоднормаль отчетов значения с плавающей точкой в вашей модели.
OffНе сообщают субнормальные значения с плавающей точкой в вашей модели.
Параметр:
DVDetectSubnormal |
| Ввод: массив символов |
Значение:
'on' | 'off' |
Значение по умолчанию:
'off' |
Обнаружьте неличный, NaN и субнормальные значения с плавающей точкой
Задайте, проверять ли, что промежуточные и выходные сигналы в вашей модели в области значений заданных пользователями минимальных и максимальных ограничений.
Значение по умолчанию: Off
OnПроверки, что промежуточные и выходные сигналы в области значений заданных пользователями минимальных и максимальных ограничений.
OffНе проверяет, что промежуточные и выходные сигналы в области значений заданных пользователями минимальных и максимальных ограничений.
Параметр:
DVDesignMinMaxCheck |
| Ввод: массив символов |
Значение:
'on' | 'off' |
Значение по умолчанию:
'off' |
Проверяйте на заданные нарушения минимального и максимального значения
Задайте, анализировать ли вашу модель для нарушений входного диапазона блока. Проверка обнаруживает нарушения входного диапазона для блоков с этими настройками:
Для этих блоков, когда параметр Diagnostic for out-of-range input устанавливается на Warning или Error:
Блоки Multiport Switch, когда параметр Diagnostic for default case устанавливается на Warning или Error.
Блоки Trigonometric Function, когда параметр Approximation method устанавливается на CORDIC
Примечание
Проверка не отмечает нарушения входного диапазона блока для блоков n-D Lookup Table, когда Interpolation method установлен в Akima spline или Cubic spline.
Примечание
Проверка не отмечает нарушения входного диапазона блока для блоков Trigonometric Function с CORDIC
Approximation method, для которого параметром Function является atan2 и типами данных входных сигналов является double.
Значение по умолчанию: Off
OnОтчеты блокируют нарушения входного диапазона в вашей модели.
OffНе сообщают нарушения входного диапазона блока в вашей модели.
Параметр:
DVDetectBlockInputRangeViolations |
| Ввод: массив символов |
Значение:
'on' | 'off' |
Значение по умолчанию:
'off' |
Задайте, проверять ли использование rem и reciprocal операции, которые вызывают неличные результаты.
Это соответствует проверке hisl_0002 на Системное Моделирование Высокой Целостности. Для получения дополнительной информации см. hisl_0002: Использование блоков Математической функции (rem и обратная величина).
Значение по умолчанию: Off
OnНарушения отчетов hisl_0002 регистрируются в вашей модели.
OffНе сообщает, что нарушения hisl_0002 регистрируются в вашей модели.
Параметр:
DVDetectHISMViolationsHisl_0002 |
| Ввод: массив символов |
Значение:
'on' | 'off' |
Значение по умолчанию:
'off' |
Проверки Model Advisor на руководства по моделированию Высокой Целостности
Задайте, проверять ли использование операций Square Root с входными параметрами, которые могут быть отрицательными.
Это соответствует проверке hisl_0003 на Системное Моделирование Высокой Целостности. Для получения дополнительной информации см. hisl_0003: Использование блоков Квадратного корня.
Значение по умолчанию: Off
OnСообщите, что нарушения hisl_0003 регистрируются в вашей модели.
OffНе сообщает, что нарушения hisl_0003 регистрируются в вашей модели.
Параметр:
DVDetectHISMViolationsHisl_0003 |
| Ввод: массив символов |
Значение:
'on' | 'off' |
Значение по умолчанию:
'off' |
Проверки Model Advisor на руководства по моделированию Высокой Целостности
Задайте, проверять ли использование log и log10 операции, которые вызывают неличные результаты.
Это соответствует проверке hisl_0004 на Системное Моделирование Высокой Целостности. Для получения дополнительной информации см. hisl_0004: Использование блоков Математической функции (натуральный логарифм и основа 10 логарифмов).
Значение по умолчанию: Off
OnСообщите, что нарушения hisl_0004 регистрируются в вашей модели.
OffНе сообщает, что нарушения hisl_0004 регистрируются в вашей модели.
Параметр:
DVDetectHISMViolationsHisl_0004 |
| Ввод: массив символов |
Значение:
'on' | 'off' |
Значение по умолчанию:
'off' |
Проверки Model Advisor на руководства по моделированию Высокой Целостности
Задайте, проверять ли использование Обратной величины блоки Square Root с входными параметрами, которые могут пойти нуль или отрицательный.
Это соответствует проверке hisl_0028 на Высокое Системное Моделирование Целостности. Для получения дополнительной информации см. hisl_0028: Использование Взаимных блоков Квадратного корня.
Значение по умолчанию: Off
OnСообщите, что нарушения hisl_0028 регистрируются в вашей модели.
OffНе сообщает, что нарушения hisl_0028 регистрируются в вашей модели.
Параметр:
DVDetectHISMViolationsHisl_0028 |
| Ввод: массив символов |
Значение:
'on' | 'off' |
Значение по умолчанию:
'off' |
Проверки Model Advisor на руководства по моделированию Высокой Целостности
