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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Использование rem и взаимные операции - hisl_0002

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

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

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

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

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

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

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

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

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

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

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