Документация

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

Задайте опции, которые управляют, как Simulink^® Design Verifier™ обнаруживает ошибки периода выполнения в моделях, которые он анализирует.

(Частичная) мертвая логика

Задайте, анализировать ли вашу модель для мертвой логики. Это может привести к частичному анализу. Выберите Run exhaustive analysis, чтобы всегда запустить исчерпывающий анализ.

Запустите исчерпывающий анализ

Основывается на проверке Dead logic (partial). Задайте эту опцию для того, чтобы запустить исчерпывающий анализ для мертвой логики в модели.

Из связанного доступа к массиву

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

Нарушения прав доступа хранилища данных

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

Деление на нуль

Задайте, анализировать ли вашу модель для ошибок деления на нуль.

Целочисленное переполнение

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

Неличный и NaN значения с плавающей точкой

Задайте, анализировать ли вашу модель для неличного и NaN значения с плавающей точкой.

Субнормальные значения с плавающей точкой

Задайте, анализировать ли вашу модель для субнормальных значений с плавающей точкой.

Заданные нарушения минимального и максимального значения

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

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

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

Использование блоков Математической функции (rem и взаимные функции) - hisl_0002

Задайте, проверять ли использование блоков Math Function с остатком после деления (rem) или reciprocal функции:

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

Использование блоков Квадратного корня - hisl_0003

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

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

Использование блоков Математической функции (журнал и функции log10) - hisl_0004

Задайте, проверять ли использование блоков Math Function с натуральным логарифмом (log) или распространенный (базируются 10) логарифм (log10) функции, которые не составляют комплексные числа как выходные значения.

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

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

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

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