Поддерживаемые и неподдерживаемые блоки Simulink в Simulink Design Verifier
Simulink® Design Verifier™ обеспечивает различные уровни поддержки блоков Simulink:
Полностью поддерживаемый
Частично поддерживаемый
Не поддерживаемый
Если ваша модель содержит неподдерживаемые блоки, можно включить автоматическое блокирование. Автоматическое блокирование рассматривает интерфейс неподдерживаемых блоков, но не их поведение. Если какой-либо из неподдерживаемых блоков влияет на результат симуляции, однако, анализ может достигнуть только частичных результатов. Для получения дополнительной информации об автоматическом блокировании, смотрите Несовместимости Указателя с Автоматическим Блокированием.
Чтобы достигнуть 100%-го покрытия, избегайте использования неподдерживаемых блоков в моделях, которые вы анализируете. Точно так же для частично поддерживаемых блоков, задайте только параметры блоков, которые распознает Simulink Design Verifier.
Следующие таблицы обобщают аналитическую поддержку Simulink Design Verifier блоков Simulink. Каждая таблица приводит блоки в Библиотеке Simulink и описывает информацию о поддержке для того конкретного блока.
Дополнительная математика и дискретная библиотека
Библиотека блоков, которой обычно пользуются,
Библиотека Commonly Used Blocks включает блоки из других библиотек. Те блоки перечислены под их соответствующими библиотеками.
| Блок | Поддержите примечания |
|---|---|
| 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 | Не поддерживаемый, когда:
или
|
| 1-D Lookup Table | Не поддерживаемый, когда Interpolation method или параметром Extrapolation method является |
| 2-D Lookup Table | Не поддерживаемый, когда Interpolation method или параметром Extrapolation method является |
| n-D Lookup Table | Не поддерживаемый, когда:
или
|
| 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 | Не поддерживаемый |
| Блок | Поддержите примечания |
|---|---|
| Atomic Subsystem | Поддерживаемый |
| Code Reuse Subsystem | Поддерживаемый |
| Configurable Subsystem | Поддерживаемый |
| Включить | Поддерживаемый |
| Enabled Subsystem | Проверки диапазона проекта не считают заданные минимальные и максимальные значения для блоков соединенными с выходным портом подсистемы. Для получения дополнительной информации о проверках диапазона проекта смотрите Проверку на Заданные Нарушения Минимального и Максимального значения. Simulink Design Verifier обрабатывает Enabled Подсистемы, как закорочено во время генерации тестов. |
| Enabled and Triggered Subsystem | Не поддерживаемый, когда триггерный управляющий сигнал задает тип данных с фиксированной точкой. Проверки диапазона проекта не считают заданные минимальные и максимальные значения для блоков соединенными с выходным портом подсистемы. Для получения дополнительной информации о проверках диапазона проекта смотрите Проверку на Заданные Нарушения Минимального и Максимального значения. Simulink Design Verifier обрабатывает Enabled и Triggered подсистемы, как закорочено во время генерации тестов. |
| For Each | Поддерживаемый с нижеследующими ограничениями:
|
| For Each Subsystem | Поддерживаемый с нижеследующими ограничениями:
|
| For Iterator Subsystem | Поддерживаемый |
| Function-Call Feedback Latch | Поддерживаемый |
| Function-Call Generator | Поддерживаемый |
| Function-Call Split | Поддерживаемый |
| Function-Call Subsystem | Проверки диапазона проекта не считают заданные минимальные и максимальные значения для блоков соединенными с выходным портом подсистемы. Для получения дополнительной информации о проверках диапазона проекта смотрите Проверку на Заданные Нарушения Минимального и Максимального значения. Не поддерживаемый то, когда Function-Call Subsystem вызывается с помощью триггеров вызова функции, передало через корневой уровень блоки Inport. Для получения дополнительной информации смотрите, Обзор Моделей Экспорта функций. |
| 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 обрабатывает 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) | Поддерживаемый |
| Out Bus Element | Поддерживаемый |
| 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® |
| From Workspace | Не поддерживаемый |
| Ground | Поддерживаемый |
| Inport (In1) | Поддерживаемый |
| In Bus Element | Поддерживаемый, если Simulink.Bus тип задан для В Элементе Шины. |
| 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 для Генерации кода. |
| MATLAB System |
|
| Reset Function | Не поддерживаемый |
| S-Function Builder | Для ограничений смотрите Ограничения Поддержки и Факторы для Кода C/C++ и S-функций. |
| Terminate Function | Не поддерживаемый |