Formal Functional Equivalence

バージョン 2.1.0.0 (171 KB) 作成者: Pat Canny

This project provides a set of utilities for performing "formal functional equivalence," which is a static analysis-based technique to prove

https://github.com/mathworks/formal-functional-equivalence

フォロー

0.0

(0)

ダウンロード: 7

更新 2023/4/26

GitHub でライセンスを表示

Formal Functional Equivalence

Functional equivalence testing is a workflow which involves simulating two models, or a model and its generated code, and ensuring their outputs are equivalent. This is a common workflow in standards such as ISO26262, however this technique does not formally prove functional equivalence in all cases.

This project provides a set of utilities for performing "formal functional equivalence," which is a static analysis-based technique to prove that two Simulink® models are functionally equivalent. These utilities use Property Proving in Simulink Design Verifier™. If the two models are not formally functionally equivalent, Simulink Design Verifier will generate a counterexample for debugging.

Consider using formal functional equivalence when refactoring a model to improve its maintainability, standards compliance, clarity, code generation performance, or for other considerations, while maintaining the expected behavior.

Get Started

To Run:

Open Formal_functional_equivalence.prj in MATLAB®.
Run funcEquivExample.m to see an example

MathWorks Products

Requires MATLAB® release R2022a or newer

License

The license for is available in the license.txt file in this repository.

引用

Pat Canny (2024). Formal Functional Equivalence (https://github.com/mathworks/formal-functional-equivalence/releases/tag/v2.1), GitHub. 取得済み April 26、2024.

MATLAB リリースの互換性

作成: R2023a

R2022a 以降のリリースと互換性あり

プラットフォームの互換性

Windows macOS Linux

タグタグを追加

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

tests

バージョン	公開済み	リリースノート
2.1.0.0	2023/4/26	See release notes for this release on GitHub: https://github.com/mathworks/formal-functional-equivalence/releases/tag/v2.1	ダウンロード
2.0	2022/10/13	See release notes for this release on GitHub: https://github.com/mathworks/formal-functional-equivalence/releases/tag/v2.0	ダウンロード
1.1	2022/10/3	See release notes for this release on GitHub: https://github.com/mathworks/formal-functional-equivalence/releases/tag/v1.1	ダウンロード
1.0	2022/8/17		ダウンロード

この GitHub アドオンでの問題を表示または報告するには、GitHub リポジトリにアクセスしてください。