Simulink Design Verifier 中支持和不支持的 Simulink 模块

软件支持 Additional Math and Discrete 库中的所有模块。

Commonly Used Blocks 库包含来自其他库的模块。这些模块列在其各自的库下。

模块	支持说明
Derivative	不支持
Integrator	不支持
Integrator Limited	不支持
PID Controller	不支持
PID Controller (2DOF)	不支持
Second-Order Integrator	不支持
Second-Order Integrator Limited	不支持
State-Space	不支持
Transfer Fcn	不支持
Transport Delay	不支持
Variable Time Delay	不支持
Variable Transport Delay	不支持
Zero-Pole	不支持

软件支持 Discontinuities 库中的所有模块。

模块	支持说明
Delay	支持
Difference	支持
Discrete Derivative	支持
Discrete Filter	支持
Discrete FIR Filter	支持
Discrete PID Controller	支持
Discrete PID Controller (2DOF)	支持
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	支持

软件支持 Logic and Bit Operations 库中的所有模块。

模块	支持说明
Cosine	支持
Direct Lookup Table (n-D)	支持
Interpolation Using Prelookup	支持
1-D Lookup Table	当内插方法或外插方法参数为 Akima 样条时不支持。
2-D Lookup Table	当内插方法或外插方法参数为 Akima 样条时不支持。
n-D Lookup Table	当内插方法或外插方法参数为 Akima 样条时不支持。
Lookup Table Dynamic	支持
Prelookup	支持
Sine	支持

模块	支持说明
Abs	支持
Add	支持
Algebraic Constraint	支持
Assignment	支持
Bias	支持
Complex to Magnitude-Angle	支持
Complex to Real-Imag	支持
Divide	支持
Dot Product	支持
Find Nonzero Elements	不支持
Gain	支持
Magnitude-Angle to Complex	支持
Math Function	支持
Matrix Concatenate	支持
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	支持
Unary Minus	支持
Vector Concatenate	支持
Weighted Sample Time Math	支持

软件支持 Model Verification 库中的所有模块。

模块	支持说明
Block Support Table	支持
DocBlock	支持
Model Info	支持
Timed-Based Linearization	不支持
Trigger-Based Linearization	不支持

模块	支持说明
Atomic Subsystem	支持
Code Reuse Subsystem	支持
Enable	支持
Enabled Subsystem	设计范围检查不会考虑连接到子系统输出端口的模块的指定最小值和最大值。有关设计范围检查的详细信息，请参阅检查指定的最小值和最大值违规。 Simulink Design Verifier 会在测试生成过程中将 Enabled Subsystem 视为短路。
Enabled and Triggered Subsystem	当触发控制信号指定了定点数据类型时不支持。设计范围检查不会考虑连接到子系统输出端口的模块的指定最小值和最大值。有关设计范围检查的详细信息，请参阅检查指定的最小值和最大值违规。 Simulink Design Verifier 会在测试生成过程中将 Enabled and Triggered Subsystem 视为短路。
For Each	支持
For Each Subsystem	支持
For Iterator Subsystem	支持
Function-Call Feedback Latch	支持
Function-Call Generator	支持
Function-Call Split	支持
Function-Call Subsystem	设计范围检查不会考虑连接到子系统输出端口的模块的指定最小值和最大值。有关设计范围检查的详细信息，请参阅检查指定的最小值和最大值违规。
Function Element	不支持
Function Element Call	不支持
If	不支持进行参数配置。分析会忽略您为 If 模块指定的参数配置。
If Action Subsystem	支持
In Bus Element	支持
Inport	支持
Model	支持
Message Polling Subsystem	不支持
Message Triggered Subsystem	不支持
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 Subsystem 视为短路。
Variant Subsystem	当变体激活时间设置为 `startup` 时，Simulink Design Verifier 会分析所有变体选择项。对于其余类型的变体激活时间，Simulink Design Verifier 仅会分析活动变体选择项。
While Iterator Subsystem	支持

软件支持 Signal Attributes 库中的所有模块。

模块	支持说明
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	不支持
Terminator	支持
To File	支持
To Workspace	支持

模块	支持说明
Band-Limited White Noise	不支持
Chirp Signal	支持
Clock	支持
Constant	如果常量值为 `inf` 或 `nan`，则不支持。
Counter Free-Running	支持
Counter Limited	支持
Digital Clock	支持
Enumerated Constant	支持
From File	当 MAT 文件数据以 MATLAB^® `timeseries` 格式存储时不支持
From Workspace	支持
Ground	支持
Inport (In1)	支持
In Bus Element	如果为 In Bus Element 定义了 `Simulink.Bus` 类型，则支持。
Pulse Generator	支持
Ramp	支持
Random Number	不支持
Repeating Sequence	支持
Repeating Sequence Interpolated	支持
Repeating Sequence Stair	支持
Signal Editor	不支持
Signal Generator	如果波形为 `random`，则不支持。
Sine Wave	支持
Step	支持
Uniform Random Number	不支持

工具箱库	支持说明
Simscape™	不支持
Vehicle Network Toolbox™	不支持

模块	支持说明
C Function	支持
C Caller	支持。
Initialize Function	对于包含 Parameter Writer 模块的 Initialize function 不支持。不支持作为子系统分析的目标。
Interpreted MATLAB Function	支持
Level-2 MATLAB S-Function	不支持。
MATLAB Function	有关限制，请参阅对 MATLAB 代码生成的支持限制。
MATLAB System	测试生成支持决策、条件和 MCDC 覆盖率目标。不支持增强的 MCDC、关系边界和自定义测试目标。属性证明不支持自定义证明目标。有关更多限制，请参阅对 MATLAB 代码生成的支持限制。不会为覆盖率目标分析赋值语句中的逻辑表达式。
Reset Function	支持。
Reinitialize Function	支持。
S-Function Builder	有关限制，请参阅S-Function 和 C/C++ 代码的支持限制和注意事项。
Simulink Function	有关导出函数模型，请参阅分析导出函数模型。不支持非导出函数模型引用中的全局 Simulink 函数。
Terminate Function	支持。
Observer Reference (Simulink Test)	支持。