Использование блоков математических функций (rem и обратных функций) - hisl_0002
Использование математических функциональных блоков (функций log и log10) - hisl_0004
Укажите параметры, управляющие тем, как Simulink ® Design Verifier™ обнаруживает ошибки во время выполнения в анализируемых моделях.
Укажите, следует ли анализировать модель на наличие неработающей логики. Это может привести к частичному анализу. Выберите Выполнить исчерпывающий анализ, чтобы всегда выполнять исчерпывающий анализ.
По умолчанию: Откл.
НаСообщает о неработающей логике, определенной в модели.
ПрочьНе анализирует мертвую логику.
Параметр:
DVDetectDeadLogic |
| Тип: символьный массив |
Значение:
'on' | 'off' |
По умолчанию:
'off' |
Основывается на проверке логики мертвых (частичной). Укажите эту опцию, чтобы выполнить исчерпывающий анализ неработающей логики в модели.
По умолчанию: Откл.
НаВыполните исчерпывающий анализ неработающей логики в модели.
ПрочьНе выполняет исчерпывающий анализ неработающей логики в модели.
Параметр:
DVDetectActiveLogic |
| Тип: символьный массив |
Значение:
'on' | 'off' |
По умолчанию:
'off' |
Этот параметр зависит от Dead logic (частичная) и работает только тогда, когда Dead logic (частичная) также включена.
Укажите, следует ли анализировать модель на наличие ошибок доступа к массиву вне границ.
По умолчанию: Вкл.
НаОтчеты об ошибках доступа к привязанному массиву в модели.
ПрочьНе сообщает об ошибках доступа к связанному массиву в модели.
Параметр:
DVDetectOutOfBounds |
| Тип: символьный массив |
Значение:
'on' | 'off' |
По умолчанию:
'on' |
Укажите, следует ли анализировать модель на предмет нарушений доступа к хранилищу данных. Обнаружение ошибок проекта проверяет наличие следующих нарушений, связанных с блоками памяти хранилища данных:
Чтение перед записью
Запись после чтения
Запись после записи
По умолчанию: Откл.
НаСообщает о нарушениях доступа к хранилищу данных в модели.
ПрочьНе сообщает о нарушениях доступа к хранилищу данных в модели.
Параметр:
DVDetectDSMAccessViolations |
| Тип: символьный массив |
Значение:
'on' | 'off' |
По умолчанию:
'off' |
Укажите, следует ли анализировать модель на наличие ошибок деления на ноль.
По умолчанию: Вкл.
НаСообщает об ошибках деления на ноль в модели.
ПрочьНе сообщает об ошибках деления на ноль в модели.
Параметр:
DVDetectDivisionByZero |
| Тип: символьный массив |
Значение:
'on' | 'off' |
По умолчанию:
'on' |
Обнаружение переполнения целого числа и ошибок деления на ноль
Укажите, следует ли анализировать модель на наличие ошибок переполнения целочисленных данных и данных с фиксированной точкой.
По умолчанию: Вкл.
НаСообщает об ошибках переполнения целочисленных данных или данных с фиксированной точкой в модели.
ПрочьНе сообщает об ошибках переполнения целочисленных данных или данных с фиксированной точкой в модели.
Параметр: DVDetectIntegerOverflow |
| Тип: символьный массив |
Значение: 'on' | 'off' |
По умолчанию: 'on' |
Обнаружение переполнения целого числа и ошибок деления на ноль
Укажите, следует ли анализировать модель для значений с плавающей запятой, не являющихся конечными, и NaN.
По умолчанию: Откл.
НаСообщает в модели значения с плавающей запятой, не являющиеся конечными, и значения NaN.
ПрочьНе сообщает в модели значения с плавающей запятой NON и NaN.
Параметр:
DVDetectInfNaN |
| Тип: символьный массив |
Значение:
'on' | 'off' |
По умолчанию:
'off' |
Обнаружение неграничных, NaN и субнормальных значений с плавающей точкой
Укажите, следует ли анализировать модель для субнормальных значений с плавающей запятой.
По умолчанию: Откл.
НаСообщает субнормальные значения с плавающей запятой в модели.
ПрочьНе сообщает субнормальные значения с плавающей запятой в модели.
Параметр:
DVDetectSubnormal |
| Тип: символьный массив |
Значение:
'on' | 'off' |
По умолчанию:
'off' |
Обнаружение неграничных, NaN и субнормальных значений с плавающей точкой
Укажите, следует ли проверять, что промежуточные и выходные сигналы в модели находятся в диапазоне заданных пользователем минимальных и максимальных ограничений.
По умолчанию: Откл.
НаПроверяет, что промежуточные и выходные сигналы находятся в диапазоне заданных пользователем минимальных и максимальных ограничений.
ПрочьНе проверяет, находятся ли промежуточные и выходные сигналы в диапазоне заданных пользователем минимальных и максимальных ограничений.
Параметр:
DVDesignMinMaxCheck |
| Тип: символьный массив |
Значение:
'on' | 'off' |
По умолчанию:
'off' |
Проверка указанных нарушений минимального и максимального значений
Укажите, следует ли анализировать модель на наличие нарушений диапазона ввода блоков. Проверка обнаруживает нарушения диапазона ввода для блоков со следующими настройками:
Для этих блоков, если для входного параметра Diagnostic for out-of-range установлено значение Warning или Error:
Блоки мультипортового коммутатора, если для параметра Diagnostic for default case установлено значение Warning или Error.
Тригонометрические функциональные блоки, если для параметра метода аппроксимации установлено значение CORDIC
Примечание
Проверка не помечает нарушения входного диапазона для n-D блоков таблицы поиска, если для метода интерполяции установлено значение Akima spline или Cubic spline.
Примечание
Проверка не помечает нарушения входного диапазона для тригонометрических функциональных блоков с CORDIC
Метод аппроксимации, для которого параметром Function является atan2 и типы данных входных сигналов: double.
По умолчанию: Откл.
НаСообщает о нарушениях входного диапазона в модели.
ПрочьНе сообщает о нарушениях входного диапазона в модели.
Параметр:
DVDetectBlockInputRangeViolations |
| Тип: символьный массив |
Значение:
'on' | 'off' |
По умолчанию:
'off' |
Укажите, проверять ли использование блоков математической функции с остатком после деления (rem) или reciprocal функции:
Это соответствует проверке hisl_0002 для моделирования систем высокой целостности. Дополнительные сведения см. в разделе hisl_0002: использование блоков математических функций (rem и revacal).
По умолчанию: Откл.
НаСообщает о нарушениях проверки hisl_0002 в модели.
ПрочьНе сообщает о нарушениях проверки hisl_0002 в модели.
Параметр:
DVDetectHISMViolationsHisl_0002 |
| Тип: символьный массив |
Значение:
'on' | 'off' |
По умолчанию:
'off' |
Консультант по моделям проверяет рекомендации по моделированию с высокой целостностью
Укажите, следует ли проверять использование блоков «Квадратный корень», которые не учитывают комплексные числа в качестве выходных значений.
Это соответствует проверке hisl_0003 для моделирования систем высокой целостности. Дополнительные сведения см. в разделе hisl_0003: Использование блоков квадратного корня.
По умолчанию: Откл.
НаСообщите о нарушениях проверки hisl_0003 в модели.
ПрочьНе сообщает о нарушениях проверки hisl_0003 в модели.
Параметр:
DVDetectHISMViolationsHisl_0003 |
| Тип: символьный массив |
Значение:
'on' | 'off' |
По умолчанию:
'off' |
Консультант по моделям проверяет рекомендации по моделированию с высокой целостностью
Укажите, следует ли проверять использование блоков математической функции с натуральным логарифмом (log) или общий (основание 10) логарифм (log10) функции, которые не учитывают комплексные числа в качестве выходных значений.
Это соответствует проверке hisl_0004 для моделирования систем высокой целостности. Дополнительные сведения см. в разделе hisl_0004: Использование блоков математических функций (натуральный логарифм и базовый 10 логарифм).
По умолчанию: Откл.
НаСообщите о нарушениях проверки hisl_0004 в модели.
ПрочьНе сообщает о нарушениях проверки hisl_0004 в модели.
Параметр:
DVDetectHISMViolationsHisl_0004 |
| Тип: символьный массив |
Значение:
'on' | 'off' |
По умолчанию:
'off' |
Консультант по моделям проверяет рекомендации по моделированию с высокой целостностью
Укажите, следует ли проверять использование взаимных блоков «Квадратный корень».
Это соответствует проверке hisl_0028 для моделирования систем высокой целостности. Дополнительные сведения см. в разделе hisl_0028: использование блоков обратного квадратного корня.
По умолчанию: Откл.
НаСообщите о нарушениях проверки hisl_0028 в модели.
ПрочьНе сообщает о нарушениях проверки hisl_0028 в модели.
Параметр:
DVDetectHISMViolationsHisl_0028 |
| Тип: символьный массив |
Значение:
'on' | 'off' |
По умолчанию:
'off' |
Консультант по моделям проверяет рекомендации по моделированию с высокой целостностью