Скачать или смотреть How to Perform Formal Functional Equivalence

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.

Download example: Formal Functional Equivalence: https://bit.ly/3hbEKIR

--------------------------------------------------------------------------------------------------------
Get a free product trial: https://goo.gl/ZHFb5u
Learn more about MATLAB: https://goo.gl/8QV7ZZ
Learn more about Simulink: https://goo.gl/nqnbLe
See what's new in MATLAB and Simulink: https://goo.gl/pgGtod

© 2022 The MathWorks, Inc. MATLAB and Simulink are registered trademarks of The MathWorks, Inc.
See www.mathworks.com/trademarks for a list of additional trademarks. Other product or brand names may be trademarks or registered trademarks of their respective holders.