使用matlab开发的IMULink Design Verifier对port block进行proof或test

matlab开发-imulinkdesignverifier的portblockproofortestblock。一个Simulink设计验证块，用于在验证和测试之间切换，并设置需求标签。