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

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

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

Если ваша модель содержит неподдерживаемые блоки, можно включить автоматическое упрямство. Автоматическое упрямство рассматривает интерфейс неподдерживаемых блоков, но не их поведение. Однако, если какой-либо из неподдерживаемых блоков повлияет на результат симуляции, анализ может достичь только частичных результатов. Для получения дополнительной информации об автоматическом упрямстве смотрите Handle Incompatibilities with Automatic Stubbing.

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

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

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

Обычно используемая библиотека блоков

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

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

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

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

Блок	Примечания по поддержке
Delay	Поддержанный
Difference	Поддержанный
Discrete Derivative	Поддержанный
Discrete Filter	Поддержанный
Discrete FIR Filter	Поддержанный
Дискретный ПИД-регулятор	Поддержанный
Дискретный ПИД-регулятор (2 DOF)	Поддержанный
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` или `Akima Spline`.
2-D Lookup Table	Не поддерживается, когда параметр Interpolation method или Extrapolation method `Cubic Spline` или `Akima Spline`.
n-D Lookup Table	Не поддерживается, когда: Параметр Interpolation method или Extrapolation method `Cubic Spline` или `Akima 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`, `cos`, или `sincos`, и Approximation method `CORDIC`.
Unary Minus	Поддержанный
Векторная конкатенация	Поддержанный
Weighted Sample Time Math	Поддержанный

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

Библиотека утилит всей модели

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

Библиотеки портов и подсистем

Блок	Примечания по поддержке
Atomic Subsystem	Поддержанный
Code Reuse Subsystem	Поддержанный
Configurable Subsystem	Поддержанный
Позволить	Поддержанный
Enabled Subsystem	Проектные проверки области значений не учитывают указанные минимальные и максимальные значения для блоков, подключенных к выходному порту подсистемы. Для получения дополнительной информации о проверках области значений проекта см. «Проверка на нарушения заданных минимальных и максимальных значений». Simulink Design Verifier рассматривает Включенные Подсистемы как короткозамкнутые во время генерации тестов.
Enabled and Triggered Subsystem	Не поддерживается, когда сигнал управления триггером задает тип данных с фиксированной точкой. Проектные проверки области значений не учитывают указанные минимальные и максимальные значения для блоков, подключенных к выходному порту подсистемы. Для получения дополнительной информации о проверках области значений проекта см. «Проверка на нарушения заданных минимальных и максимальных значений». Simulink Design Verifier рассматривает Enabled и Triggered подсистемы как короткозамкнутые во время генерации тестов.
For Each	Поддерживается со следующими ограничениями: Когда For Each Subsystem содержит один или несколько блоков Simulink Design Verifier Test Condition, Test Objective, Proof Assumption или Proof Objective, не поддерживаемых. Когда параметры маски For Each Subsystem секционированы, не поддерживаются.
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	Проектные проверки области значений не учитывают указанные минимальные и максимальные значения для блоков, подключенных к выходному порту подсистемы. Для получения дополнительной информации о проверках области значений проекта см. «Проверка на нарушения заданных минимальных и максимальных значений».
If	Строения параметров не поддерживаются. Анализ игнорирует строения параметров, которые вы задаете для блока If.
If Action Subsystem	Поддержанный
In Bus Element	Поддержанный
Inport	Поддержанный
Model	Поддерживается за исключением ограничений, описанных в «Ограничениях поддержки блоков Model».
Out Bus Element	Поддержанный
Outport	Поддержанный
Resettable Subsystem	Поддержанный
Subsystem	Поддержанный
Variant Transitions in Stateflow (Stateflow)	Поддерживается. Анализируется только активный вариант.
Switch Case	Поддержанный
Switch Case Action Subsystem	Поддержанный
Trigger	Поддержанный
Triggered Subsystem	Не поддерживается, когда сигнал управления триггером задает тип данных с фиксированной точкой. Проектные проверки области значений не учитывают указанные минимальные и максимальные значения для блоков, подключенных к выходному порту подсистемы. Для получения дополнительной информации о проверках области значений проекта см. «Проверка на нарушения заданных минимальных и максимальных значений». Simulink Design Verifier рассматривает Включенные Подсистемы как короткозамкнутые во время генерации тестов.
Variant Subsystem	Не поддерживается, когда параметр Generate preprocessor conditionals включен. Анализируется только активный вариант.
While Iterator Subsystem	Поддержанный

Библиотека атрибутов сигнала

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

Блок	Примечания по поддержке
Bus Assignment	Поддержанный
Bus Creator	Поддержанный
Bus Selector	Поддержанный
Data Store Memory	Поддержанный
Data Store Read	Не поддерживается при включении `Enable Indexing` параметр на Element Assignment панели.
Data Store Write	Не поддерживается при включении `Enable Indexing` параметр на Element Assignment панели.
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)	Поддержанный
Out Bus Element	Поддержанный
Scope	Поддержанный
Stop Simulation	Не поддерживается и не упрямится
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` формат, не упрямый.
From Workspace	Не поддерживается
Ground	Поддержанный
Inport (In1)	Поддержанный
In Bus Element	Поддерживается, если `Simulink.Bus` тип определяется для элемента In Bus.
Pulse Generator	Поддержанный
Ramp	Поддержанный
Random Number	Не поддерживается и не упрямится
Repeating Sequence	Не поддерживается
Repeating Sequence Interpolated	Не поддерживается
Repeating Sequence Stair	Поддержанный
Signal Builder	Не поддерживается
Signal Editor	Не поддерживается
Signal Generator	Не поддерживается
Sine Wave	Не поддерживается
Step	Поддержанный
Uniform Random Number	Не поддерживается и не упрямится

Библиотека пользовательских функций

Блок	Примечания по поддержке
Initialize Function	Не поддерживается для Initialize function, содержащих блоки Parameter Writer. Не поддерживается как цель для анализа подсистем.
Interpreted MATLAB Function	Не поддерживается
Level-2 MATLAB S-Function	Ограничения см. в разделе Ограничения поддержки и факторов по S-функциям и коду C/C + +.
MATLAB Function	Ограничения см. в разделе Ограничения поддержки для MATLAB для генерации кода.
MATLAB System	Решение, условие и цели покрытия MCDC поддерживаются в генерации тестов. Расширенные цели MCDC, Relational Boundary и Custom Test не поддерживаются. Пользовательские цели доказательства не поддерживаются в Property Proving. Для получения дополнительных ограничений смотрите Ограничения поддержки для MATLAB для генерации кода.
Reset Function	Не поддерживается
S-Function Builder	Ограничения см. в разделе Ограничения поддержки и факторов по S-функциям и коду C/C + +.
Terminate Function	Частично поддерживается. Поведение Terminate function игнорируется и заменяется пустой функцией во время анализа. Не поддерживается как цель для анализа подсистем.
Observer Reference (Simulink Test)	Поддерживается с ограничениями. См. «Изоляция логики верификации с наблюдателями».
Simscape Library	Не поддерживается

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

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

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

Поддержка