Exploring Simulink Design Verifier for Sfunctions:Simulink Desig...

这是使用 Simulink Design Verifier 验证具有 Voter Logic 和模式转换的 Autopilot 模型。 要求以表格形式给出。 将创建一个等效的Sfunction块，分别代表选民逻辑和模式转换逻辑。 Voter Logic 和 Mode Transition Logic 都使用 SDV 中的断言进行验证。