Панель верификатора проекта: поиск ошибок проектирования

Обзор панели поиска ошибок проектирования

Задайте опции то управление как 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 значения с плавающей точкой

Задайте, анализировать ли вашу модель для неличного и 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'

Смотрите также

Проверяйте на заданные нарушения минимального и максимального значения

Заданные нарушения входного диапазона блока

Задайте, анализировать ли вашу модель для нарушений входного диапазона блока. Проверка обнаруживает нарушения входного диапазона для блоков с этими настройками:

Примечание

Проверка не отмечает нарушения входного диапазона блока для блоков 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 и взаимные операции - hisl_0002

Задайте, проверять ли использование rem и reciprocal операции, которые вызывают неличные результаты.

Это соответствует проверке hisl_0002 на Системное Моделирование Высокой Целостности. Для получения дополнительной информации см. hisl_0002: Использование блоков Математической функции (rem и обратная величина).

Настройки

Значение по умолчанию: Off

On

Нарушения отчетов hisl_0002 регистрируются в вашей модели.

Off

Не сообщает, что нарушения hisl_0002 регистрируются в вашей модели.

Информация о командной строке

Параметр: DVDetectHISMViolationsHisl_0002
Ввод: массив символов
Значение: 'on' | 'off'
Значение по умолчанию: 'off'

Смотрите также

Проверки Model Advisor на руководства по моделированию Высокой Целостности

Math Function

Использование операций Square Root - hisl_0003

Задайте, проверять ли использование операций Square Root с входными параметрами, которые могут быть отрицательными.

Это соответствует проверке hisl_0003 на Системное Моделирование Высокой Целостности. Для получения дополнительной информации см. hisl_0003: Использование блоков Квадратного корня.

Настройки

Значение по умолчанию: Off

On

Сообщите, что нарушения hisl_0003 регистрируются в вашей модели.

Off

Не сообщает, что нарушения hisl_0003 регистрируются в вашей модели.

Информация о командной строке

Параметр: DVDetectHISMViolationsHisl_0003
Ввод: массив символов
Значение: 'on' | 'off'
Значение по умолчанию: 'off'

Смотрите также

Проверки Model Advisor на руководства по моделированию Высокой Целостности

Sqrt

Использование журнала и log10 операций - hisl_0004

Задайте, проверять ли использование log и log10 операции, которые вызывают неличные результаты.

Это соответствует проверке hisl_0004 на Системное Моделирование Высокой Целостности. Для получения дополнительной информации см. hisl_0004: Использование блоков Математической функции (натуральный логарифм и основа 10 логарифмов).

Настройки

Значение по умолчанию: Off

On

Сообщите, что нарушения hisl_0004 регистрируются в вашей модели.

Off

Не сообщает, что нарушения hisl_0004 регистрируются в вашей модели.

Информация о командной строке

Параметр: DVDetectHISMViolationsHisl_0004
Ввод: массив символов
Значение: 'on' | 'off'
Значение по умолчанию: 'off'

Смотрите также

Проверки Model Advisor на руководства по моделированию Высокой Целостности

Использование Взаимных блоков Квадратных корней - hisl_0028

Задайте, проверять ли использование Обратной величины блоки Square Root с входными параметрами, которые могут пойти нуль или отрицательный.

Это соответствует проверке hisl_0028 на Высокое Системное Моделирование Целостности. Для получения дополнительной информации см. hisl_0028: Использование Взаимных блоков Квадратного корня.

Настройки

Значение по умолчанию: Off

On

Сообщите, что нарушения hisl_0028 регистрируются в вашей модели.

Off

Не сообщает, что нарушения hisl_0028 регистрируются в вашей модели.

Информация о командной строке

Параметр: DVDetectHISMViolationsHisl_0028
Ввод: массив символов
Значение: 'on' | 'off'
Значение по умолчанию: 'off'

Смотрите также

Проверки Model Advisor на руководства по моделированию Высокой Целостности

Для просмотра документации необходимо авторизоваться на сайте