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

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

Задайте опции, которые управляют тем, как 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: Использование блоков Math Function (rem и returcal).

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

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

Это соответствует проверке hisl_0003 для моделирования систем высокой целостности. Для получения дополнительной информации смотрите hisl_0003: Использование квадратных корней.

Использование блоков Math Function (журнала и log10) - hisl_0004

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

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

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

Укажите, нужно ли проверять использование блоков обратного Square Root.

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