Поддерживаемые и неподдерживаемые блоки Simulink в Simulink Design Verifier

Simulink^® Design Verifier™ обеспечивает различные уровни поддержки блоков Simulink:

Полностью поддерживаемый
Частично поддерживаемый
Не поддерживаемый

Если ваша модель содержит неподдерживаемые блоки, можно включить автоматическое блокирование. Автоматическое блокирование рассматривает интерфейс неподдерживаемых блоков, но не их поведение. Если какой-либо из неподдерживаемых блоков влияет на результат симуляции, однако, анализ может достигнуть только частичных результатов. Для получения дополнительной информации об автоматическом блокировании, смотрите Несовместимости Указателя с Автоматическим Блокированием.

Чтобы достигнуть 100%-го покрытия, избегайте использования неподдерживаемых блоков в моделях, которые вы анализируете. Точно так же для частично поддерживаемых блоков, задайте только параметры блоков, которые распознает Simulink Design Verifier.

Следующие таблицы обобщают аналитическую поддержку Simulink Design Verifier блоков Simulink. Каждая таблица приводит блоки в Библиотеке Simulink и описывает информацию о поддержке для того конкретного блока.

Дополнительная математика и дискретная библиотека

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

Непрерывная библиотека

Блок	Поддержите примечания
Derivative	Не поддерживаемый
Integrator	Не поддерживаемый и не stubbable
Integrator Limited	Не поддерживаемый и не stubbable
PID Controller	Не поддерживаемый
PID Controller (2 DOF)	Не поддерживаемый
Интегратор второго порядка	Не поддерживаемый и не stubbable
Second Order Integrator Limited	Не поддерживаемый и не stubbable
State-Space	Не поддерживаемый и не stubbable
Transfer Fcn	Не поддерживаемый и не stubbable
Transport Delay	Не поддерживаемый
Variable Time Delay	Не поддерживаемый
Variable Transport Delay	Не поддерживаемый
Zero-Pole	Не поддерживаемый и не stubbable

Библиотека разрывов

Дискретная библиотека

Блок	Поддержите примечания
Delay	Поддерживаемый
Difference	Поддерживаемый
Discrete Derivative	Поддерживаемый
Discrete Filter	Поддерживаемый
Discrete FIR Filter	Поддерживаемый
Дискретный ПИД-регулятор	Поддерживаемый
Дискретный ПИД-регулятор (2 степени свободы)	Поддерживаемый
Discrete State-Space	Не поддерживаемый
Discrete Transfer Fcn	Поддерживаемый
Discrete Zero-Pole	Не поддерживаемый
Discrete-Time Integrator	Поддерживаемый
Memory	Поддерживаемый
Tapped Delay	Поддерживаемый
Transfer Fcn First Order	Поддерживаемый
Transfer Fcn Lead or Lag	Поддерживаемый
Transfer Fcn Real Zero	Поддерживаемый
Unit Delay	Поддерживаемый
Zero-Order Hold	Поддерживаемый

Логика и библиотека битовых операций

Библиотека интерполяционных таблиц

Блок	Поддержите примечания
Cosine	Поддерживаемый
Direct Lookup Table (n-D)	Поддерживаемый
Interpolation Using Prelookup	Не поддерживаемый, когда: Параметром Interpolation method является `Linear` и параметр Number of table dimensions больше `4`. или Параметром Interpolation method является `Linear` и параметром Number of sub-table selection dimensions не является `0`.
1-D Lookup Table	Не поддерживаемый, когда Interpolation method или параметром Extrapolation method является `Cubic Spline`.
2-D Lookup Table	Не поддерживаемый, когда Interpolation method или параметром Extrapolation method является `Cubic Spline`.
n-D Lookup Table	Не поддерживаемый, когда: Interpolation method или параметром Extrapolation method является `Cubic Spline`. или Параметром Interpolation method является `Linear` и параметр Number of table dimensions больше `5`.
Lookup Table Dynamic	Поддерживаемый
Prelookup	Не поддерживаемый, когда выведенный массив шин
Синус	Поддерживаемый

Библиотека математических операций

Блок	Поддержите примечания
Abs	Поддерживаемый
Add	Поддерживаемый
Алгебраическое ограничение	Поддерживаемый
Assignment	Поддерживаемый
Bias	Поддерживаемый
Complex to Magnitude-Angle	Поддерживаемый
Complex to Real-Imag	Поддерживаемый
Divide	Поддерживаемый
Dot Product	Поддерживаемый
Найдите ненулевые элементы	Не поддерживаемый
Gain	Поддерживаемый
Magnitude-Angle to Complex	Поддерживаемый
Math Function	Поддерживаемый
Матричная конкатенация	Поддерживаемый
MinMax	Поддерживаемый
MinMax Running Resettable	Поддерживаемый
Permute Dimensions	Поддерживаемый
Polynomial	Поддерживаемый
Product	Поддерживаемый
Product of Elements	Поддерживаемый
Real-Imag to Complex	Поддерживаемый
Reciprocal Sqrt	Не поддерживаемый
Reshape	Поддерживаемый
Rounding Function	Поддерживаемый
Sign	Поддерживаемый
Signed Sqrt	Не поддерживаемый
Sine Wave Function	Не поддерживаемый
Slider Gain	Поддерживаемый
Sqrt	Поддерживаемый
Squeeze	Поддерживаемый
Subtract	Поддерживаемый
Sum	Поддерживаемый
Sum of Elements	Поддерживаемый
Trigonometric Function	Поддерживаемый, если Function является `sinпотому что`, или `sincos`, и Approximation method является `CORDIC`.
Unary Minus	Поддерживаемый
Векторная конкатенация	Поддерживаемый
Weighted Sample Time Math	Поддерживаемый

Библиотека верификации модели

Сервисная библиотека всей модели

Блок	Поддержите примечания
Block Support Table	Поддерживаемый
DocBlock	Поддерживаемый
Model Info	Поддерживаемый
Timed-Based Linearization	Не поддерживаемый
Trigger-Based Linearization	Не поддерживаемый

Ports & Subsystems Library

Блок	Поддержите примечания
Atomic Subsystem	Поддерживаемый
Code Reuse Subsystem	Поддерживаемый
Configurable Subsystem	Поддерживаемый
Включить	Поддерживаемый
Enabled Subsystem	Проверки диапазона проекта не считают заданные минимальные и максимальные значения для блоков соединенными с выходным портом подсистемы. Для получения дополнительной информации о проверках диапазона проекта смотрите Проверку на Заданные Нарушения Минимального и Максимального значения. Simulink Design Verifier обрабатывает Enabled Подсистемы, как закорочено во время генерации тестов.
Enabled and Triggered Subsystem	Не поддерживаемый, когда триггерный управляющий сигнал задает тип данных с фиксированной точкой. Проверки диапазона проекта не считают заданные минимальные и максимальные значения для блоков соединенными с выходным портом подсистемы. Для получения дополнительной информации о проверках диапазона проекта смотрите Проверку на Заданные Нарушения Минимального и Максимального значения. Simulink Design Verifier обрабатывает Enabled и Triggered подсистемы, как закорочено во время генерации тестов.
For Each	Поддерживаемый с нижеследующими ограничениями: Когда Для Каждой Подсистемы содержит один или несколько Simulink Design Verifier Test Condition, Test Objective, Proof Assumption или блоки Proof Objective, не поддержанные. Когда параметры маски For Each Subsystem разделены, не поддерживаемый.
For Each Subsystem	Поддерживаемый с нижеследующими ограничениями: Когда Для Каждой Подсистемы содержит один или несколько Simulink Design Verifier Test Condition, Test Objective, Proof Assumption или блоки Proof Objective, не поддержанные. Когда параметры маски For Each Subsystem разделены, не поддерживаемый.
For Iterator Subsystem	Поддерживаемый
Function-Call Feedback Latch	Поддерживаемый
Function-Call Generator	Поддерживаемый
Function-Call Split	Поддерживаемый
Function-Call Subsystem	Проверки диапазона проекта не считают заданные минимальные и максимальные значения для блоков соединенными с выходным портом подсистемы. Для получения дополнительной информации о проверках диапазона проекта смотрите Проверку на Заданные Нарушения Минимального и Максимального значения. Не поддерживаемый то, когда Function-Call Subsystem вызывается с помощью триггеров вызова функции, передало через корневой уровень блоки Inport. Для получения дополнительной информации смотрите, Обзор Моделей Экспорта функций (Simulink).
If	Настройки параметра не поддержаны. Анализ игнорирует настройки параметра, которые вы задаете для блока If.
If Action Subsystem	Поддерживаемый
In Bus Element	Поддерживаемый
Inport	Поддерживаемый
Model	Поддерживаемый за исключением ограничений описан в Ограничениях Поддержки для блоков Model.
Out Bus Element	Поддерживаемый
Outport	Поддерживаемый
Resettable Subsystem	Поддерживаемый
Subsystem	Поддерживаемый
Switch Case	Поддерживаемый
Switch Case Action Subsystem	Поддерживаемый
Trigger	Поддерживаемый
Triggered Subsystem	Не поддерживаемый, когда триггерный управляющий сигнал задает тип данных с фиксированной точкой. Проверки диапазона проекта не считают заданные минимальные и максимальные значения для блоков соединенными с выходным портом подсистемы. Для получения дополнительной информации о проверках диапазона проекта смотрите Проверку на Заданные Нарушения Минимального и Максимального значения. Simulink Design Verifier обрабатывает Enabled Подсистемы, как закорочено во время генерации тестов.
Variant Subsystem	Не поддерживаемый, когда параметр Generate preprocessor conditionals включен. Только активный вариант анализируется.
While Iterator Subsystem	Поддерживаемый

Сигнал приписывает библиотеку

Библиотека маршрутизации сигнала

Блок	Поддержите примечания
Bus Assignment	Поддерживаемый
Bus Creator	Поддерживаемый
Bus Selector	Поддерживаемый
Data Store Memory	Поддерживаемый
Data Store Read	Поддерживаемый
Data Store Write	Поддерживаемый
Demux	Поддерживаемый
Environment Controller	Поддерживаемый
From	Поддерживаемый
Goto	Поддерживаемый
Goto Tag Visibility	Поддерживаемый
Index Vector	Поддерживаемый
Manual Switch	Блок Manual Switch совместим с программным обеспечением, но анализ игнорирует этот блок в модели. Анализ не отмечает цели покрытия для этого блока как выполнимые или невыполнимые. Данные о покрытии модели собраны для блока Manual Switch.
Merge	Поддерживаемый
Multiport Switch	Поддерживаемый
Mux	Поддерживаемый
Selector	Поддерживаемый
Switch	Поддерживаемый
Vector Concatenate	Поддерживаемый

Библиотека приемников

Блок	Поддержите примечания
Display	Поддерживаемый
Floating Scope	Поддерживаемый
Outport (Out1)	Поддерживаемый
Scope	Поддерживаемый
Stop Simulation	Не поддерживаемый и не stubbable
Terminator	Поддерживаемый
To File	Поддерживаемый
To Workspace	Поддерживаемый
XY Graph	Поддерживаемый

Исходная библиотека

Блок	Поддержите примечания
Band-Limited White Noise	Не поддерживаемый
Chirp Signal	Не поддерживаемый
Clock	Поддерживаемый
Constant	Поддерживаемый, если Constant value не является `inf`.
Counter Free-Running	Поддерживаемый
Counter Limited	Поддерживаемый
Digital Clock	Поддерживаемый
Enumerated Constant	Поддерживаемый
From File	Не поддерживаемый. Когда данные о MAT-файле хранятся в MATLAB^® `timeseries` формат, не stubbable.
From Workspace	Не поддерживаемый
Ground	Поддерживаемый
Inport (In1)	Поддерживаемый
Pulse Generator	Поддерживаемый
Ramp	Поддерживаемый
Random Number	Не поддерживаемый и не stubbable
Repeating Sequence	Не поддерживаемый
Repeating Sequence Interpolated	Не поддерживаемый
Repeating Sequence Stair	Поддерживаемый
Signal Builder	Не поддерживаемый
Signal Editor	Не поддерживаемый
Signal Generator	Не поддерживаемый
Sine Wave	Не поддерживаемый
Step	Поддерживаемый
Uniform Random Number	Не поддерживаемый и не stubbable

Пользовательская библиотека функций

Блок	Поддержите примечания
Initialize Function	Не поддерживаемый
Interpreted MATLAB Function	Не поддерживаемый
Level-2 MATLAB S-Function	Для ограничений смотрите Ограничения Поддержки и Факторы для Кода C/C++ и S-функций.
MATLAB Function	Для ограничений смотрите Ограничения Поддержки для MATLAB для Генерации кода.
Reset Function	Не поддерживаемый
S-Function Builder	Для ограничений смотрите Ограничения Поддержки и Факторы для Кода C/C++ и S-функций.
Terminate Function	Не поддерживаемый

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

Поддерживаемые и неподдерживаемые блоки Simulink в Simulink Design Verifier

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

Поддержка