1.1 uartモジュールの検証プロセス
1. ダットを理解する
2. 検証戦略と方法を策定する
3. 検証ポイントの抽出(機能一覧)→テストケース一覧
4. 検証プラットフォームの構築 (1. 検証フレームワーク図 2. 検証環境コード)、健全性ケース
5. 検証を実行する
テストケースを作成し、シミュレーション + 回帰を実行します (1. 大規模バッチ シミュレーション (rtl_freeze 前) カバレッジを収集 (前提条件はシミュレーション パス)、カバレッジの分析 + 補足ケース 2、模倣後のネットリスト (rtl_freeze 後))
1.2 uartモジュールと検証戦略と検証方法
検証戦略: ホワイトボックステスト (内部コードと構造は既知)
検証方法:ランダムテスト(分析カバレッジ)+指向性テスト
コードカバレッジ:行/条件/fsm/アサーション/トグル
関数コンバージ:カバーグループ/カバーポイント/ビン/クロス/サンプル
1.3 検証機能ポイントの抽出
ちょっとした知識ポイント: 3 組のレジスタの割り込み: ステータスマスクのクリア
———————————————
著作権に関する声明: この記事は CSDN ブロガー「whddddddddddd」のオリジナル記事であり、CC 4.0 BY-SA 著作権契約に従い、オリジナルのソースリンクとこれを添付してください。転載用ステートメント。
元のリンク: https://blog.csdn.net/whddddddddddd/article/details/125429718