how to perform formal functional equivalence video -凯发k8网页登录

functional equivalence testing is a workflow that involves simulating two models, or a model and its generated code, and ensuring their outputs are equivalent. this technique does not formally prove functional equivalence in all cases. formal functional equivalence is a static analysis–based technique to formally prove that two simulink^® models are functionally equivalent. you can use formal functional equivalence when refactoring a model to improve its verifiability, maintainability, standards compliance, and code generation performance, or for other considerations, while maintaining the expected behavior.