Riviera-PRO のコードカバレッジとFSM Graph の組み合わせによりFSMのデバッグ情報を抽出

はじめに

本ソリューションは、デザイン内のFSM をデバッグ情報を抽出するために、どのようにコードカバレッジとFSM Graphを使用するかを示します。

コードカバレッジ

Riviera-PRO は、ステートメントカバレッジ、ブランチカバレッジ、パスカバレッジおよびエクスプレッション/コンディションカバレッジなどの様々なタイプのコードカバレッジのサポートを提供しています。

FSM デバッグデータを抽出するためにデザインの、ライン、ブランチおよびエクスプレッションカバレッジからの情報を組み合わせることができます。

どこ

FSM Graph

リセット、ステートおよびFSM トランジションに関して、コードカバレッジデータはデザイン内のFSM の完全なデバッグに必要な詳細のステートトランジション情報を表示します

Riviera-PRO のFSM Graph は、グラフィカルおよび表形式でステート間のトランジッションを表示します。オブジェクトステートとトランジションは、それぞれFSM Graph 上に円と矢印で表示します。矢印の下に表示される数字は指定されたトランジションの発生数を示しています

FSM Graph 上で区別されるステートには4種類あります

たとえば

まとめ

このアプリケーションノートでは、FSM Graph とコードカバレッジを組み合わせることで、デザイン内のFSM デバッグの手助けになる方法を示しています



Printed version of site: www.aldec.com/jp/support/resources/documentation/articles/1808