Использование блоков Математической Функции (rem и обратные функции) - hisl_0002
Использование блоков Math Function (журнала и log10) - hisl_0004
Задайте опции, которые управляют тем, как Simulink® Design Verifier™ обнаруживает ошибки во время выполнения в моделях, которые он анализирует.
Задайте, анализировать ли вашу модель на мертвую логику. Это может привести к частичному анализу. Выберите Run exhaustive analysis, чтобы всегда выполнять исчерпывающий анализ.
По умолчанию: Off
НаСообщает о мертвой логике, идентифицированной в вашей модели.
ПрочьНе анализирует на мертвую логику.
Параметр:
DVDetectDeadLogic |
| Тип: символьный массив |
Значение:
'on''off' |
По умолчанию:
'off' |
Основывается на проверке Dead logic (partial). Задайте эту опцию порядка, чтобы запустить исчерпывающий анализ для мертвой логики в модели.
По умолчанию: Off
НаВыполните исчерпывающий анализ для мертвой логики в вашей модели.
ПрочьНе выполняет исчерпывающий анализ для мертвой логики в вашей модели.
Параметр:
DVDetectActiveLogic |
| Тип: символьный массив |
Значение:
'on''off' |
По умолчанию:
'off' |
Этот параметр зависит от Dead logic (partial) и работает только, когда Dead logic (partial) также включено.
Задайте, анализировать ли вашу модель на несвязанные ошибки доступа к массиву.
По умолчанию: On
НаСообщает об ошибках доступа к ограниченным массивам в вашей модели.
ПрочьНе сообщает об ошибках доступа к ограниченным массивам в вашей модели.
Параметр:
DVDetectOutOfBounds |
| Тип: символьный массив |
Значение:
'on''off' |
По умолчанию:
'on' |
Укажите, анализировать ли модель на нарушения доступа к хранилищу данных. Спроектируйте проверки обнаружения ошибок на эти нарушения, связанные с блоками Data Store Memory:
Чтение-перед-записать
Запись после чтения
Запись-после-запись
По умолчанию: Off
НаСообщает о нарушениях доступа к хранилищу данных в вашей модели.
ПрочьНе сообщает о нарушениях доступа к хранилищу данных в вашей модели.
Параметр:
DVDetectDSMAccessViolations |
| Тип: символьный массив |
Значение:
'on''off' |
По умолчанию:
'off' |
Задайте, анализировать ли вашу модель на ошибки деления на нули.
По умолчанию: On
НаСообщает об ошибках деления на нули в вашей модели.
ПрочьНе сообщает об ошибках деления на нули в вашей модели.
Параметр:
DVDetectDivisionByZero |
| Тип: символьный массив |
Значение:
'on''off' |
По умолчанию:
'on' |
Обнаружение целочисленного переполнения и ошибок деления на нули
Задайте, анализировать ли вашу модель на целое число и ошибки переполнения данных с фиксированной точкой.
По умолчанию: On
НаСообщает об ошибках переполнения данных с целым числом или фиксированной точкой в вашей модели.
ПрочьНе сообщает об ошибках переполнения данных с целым числом или фиксированной точкой в вашей модели.
Параметр: DVDetectIntegerOverflow |
| Тип: символьный массив |
Значение: 'on' | 'off' |
По умолчанию: 'on' |
Обнаружение целочисленного переполнения и ошибок деления на нули
Задайте, анализировать ли модель на неконечные и NaN значения с плавающей точкой.
По умолчанию: Off
НаСообщает о неконечных значениях и значениях с плавающей точкой NaN в вашей модели.
ПрочьНе сообщает о неконечных значениях и значениях с плавающей точкой NaN в вашей модели.
Параметр:
DVDetectInfNaN |
| Тип: символьный массив |
Значение:
'on''off' |
По умолчанию:
'off' |
Обнаружение нефинитных, NaN и субнормальных значений с плавающей точкой
Задайте, анализировать ли модель на субнормальные значения с плавающей точкой.
По умолчанию: Off
НаСообщает о субнормальных значениях с плавающей точкой в вашей модели.
ПрочьНе сообщает о субнормальных значениях с плавающей точкой в вашей модели.
Параметр:
DVDetectSubnormal |
| Тип: символьный массив |
Значение:
'on''off' |
По умолчанию:
'off' |
Обнаружение нефинитных, NaN и субнормальных значений с плавающей точкой
Укажите, следует ли проверять, что промежуточные и выходные сигналы в вашей модели находятся в области значений заданных пользователем минимальных и максимальных ограничений.
По умолчанию: 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
НаСообщает о нарушениях входной области значений блоков в вашей модели.
ПрочьНе сообщает о нарушениях входной области значений блоков в вашей модели.
Параметр:
DVDetectBlockInputRangeViolations |
| Тип: символьный массив |
Значение:
'on''off' |
По умолчанию:
'off' |
Укажите, следует ли проверять использование блоков Math Function с остатком после деления (rem) или reciprocal функции:
Это соответствует проверке hisl_0002 для моделирования систем высокой целостности. Для получения дополнительной информации смотрите hisl_0002: Использование блоков Math Function (rem и returcal).
По умолчанию: Off
НаСообщает о нарушениях проверки hisl_0002 в вашей модели.
ПрочьНе сообщает о нарушениях проверки hisl_0002 в вашей модели.
Параметр:
DVDetectHISMViolationsHisl_0002 |
| Тип: символьный массив |
Значение:
'on''off' |
По умолчанию:
'off' |
Model Advisor проверяет высокую целостность Руководств по моделированию
Укажите, следует ли проверять использование блоков Square Root, которые не учитывают комплексные числа в качестве выходных значений.
Это соответствует проверке hisl_0003 для моделирования систем высокой целостности. Для получения дополнительной информации смотрите hisl_0003: Использование квадратных корней.
По умолчанию: Off
НаСообщите о нарушениях проверки hisl_0003 в вашей модели.
ПрочьНе сообщает о нарушениях проверки hisl_0003 в вашей модели.
Параметр:
DVDetectHISMViolationsHisl_0003 |
| Тип: символьный массив |
Значение:
'on''off' |
По умолчанию:
'off' |
Model Advisor проверяет высокую целостность Руководств по моделированию
Укажите, проверять ли использование блоков Math Function с помощью натурального логарифма (log) или общий (база 10) логарифм (log10) функции, которые не учитывают комплексные числа как выходные значения.
Это соответствует проверке hisl_0004 для моделирования систем высокой целостности. Для получения дополнительной информации смотрите hisl_0004: Использование блоков Math Function (естественный логарифм и база 10 логарифм).
По умолчанию: Off
НаСообщите о нарушениях проверки hisl_0004 в вашей модели.
ПрочьНе сообщает о нарушениях проверки hisl_0004 в вашей модели.
Параметр:
DVDetectHISMViolationsHisl_0004 |
| Тип: символьный массив |
Значение:
'on''off' |
По умолчанию:
'off' |
Model Advisor проверяет высокую целостность Руководств по моделированию
Укажите, нужно ли проверять использование блоков обратного Square Root.
Это соответствует проверке hisl_0028 для моделирования систем высокой целостности. Для получения дополнительной информации смотрите hisl_0028: Использование Возвратных Квадратных Корневых блоков.
По умолчанию: Off
НаСообщите о нарушениях проверки hisl_0028 в вашей модели.
ПрочьНе сообщает о нарушениях проверки hisl_0028 в вашей модели.
Параметр:
DVDetectHISMViolationsHisl_0028 |
| Тип: символьный массив |
Значение:
'on''off' |
По умолчанию:
'off' |
Model Advisor проверяет высокую целостность Руководств по моделированию