この記事で学べること
- Direct テストと Random テストの正確な定義
- 両者の目的・特徴・得意領域
- 実務の検証フローでどのように使い分けるか
- 誤解しやすいポイントと注意点
- 検証戦略を設計するための基礎的な思考方法
概要
RTL 検証では、設計のバグを効率よく発見するために Direct テスト（Directed Test） と Random テスト（Random/Constrained-Random Test） の2つのアプローチが広く使われます。
- Direct テスト
→ 明確なシナリオを人間が設計し、特定の動作を確実に検証する手法 - Random テスト
→ 自動生成された多数の入力パターンで、想定外の動作や隅々の状態を探索する手法
両者は対立概念ではなく、検証戦略の両輪として組み合わせて使うことで、より高い品質を実現します。
なぜ重要なのか
半導体の複雑化に伴い、以下の課題が顕著になっています：
- 状態空間が膨大で、すべてのケースを人手で列挙できない
- バグの多くは「想定外の条件の組み合わせ」で発生する
- 検証工数が増大し、効率的なテスト戦略が求められる
そのため、
「人が狙って検証する Direct」 と
「機械が広範囲を探索する Random」
を適切に組み合わせることが、現代の検証フローでは必須となっています。
基本概念の整理
Direct テスト（Directed Test）
特定の動作・シナリオを明示的に記述したテスト。
入力値・手順・期待値がすべて人間によって決められる。
● 例
- FIFO に対して「書き込み→読み出し」を1回だけ行う
- ALU に対して「1 + 1 = 2」を確認する
- 割り込みコントローラで「特定の割り込み番号を発生させる」
● 実務での意味
- 基本機能の動作確認に最適
- バグ発生時の再現性が高い
- デバッグが容易
- 仕様書の項目を1つずつ潰す用途に向く
Random テスト（Random / Constrained-Random Test）
入力値やシナリオをランダムに生成し、広い状態空間を探索するテスト。
制約（Constraint）を付けて、意味のある範囲に絞ることが一般的。
● 例
- FIFO に対してランダムな書き込み・読み出しを繰り返す
- ALU に対してランダムな演算種別・オペランドを与える
- バスプロトコルでランダムなトランザクションを生成する
● 実務での意味
- 人間が想定しないケースを発見できる
- 組み合わせ爆発に対して強い
- カバレッジを効率よく向上できる
- UVM などの検証フレームワークと相性が良い
両者の関係性
- Direct：仕様の確認
- Random：実装の隅々まで探索
- 両者を組み合わせることで、仕様の網羅 + 想定外の探索が可能になる。
実務での具体的な利用シーン
Direct テストが活躍する場面
- 仕様書の項目を1つずつ確認する
- 初期 bring-up（まずは基本動作を確認したい）
- バグの再現テスト
- 小規模 IP の単体検証
Random テストが活躍する場面
- 大規模 IP（CPU、NoC、DMA、Bus IP など）
- 状態数が多い制御ロジック
- 複数モジュールが絡む複雑なシナリオ
- カバレッジを効率よく上げたいとき
組み合わせの典型パターン
- Direct で基本動作を固める
- Random で広範囲を探索する
- Random で見つかったバグを Direct 化して再現性を確保する
誤解しやすい点・注意点
- Random テストは万能ではない
→ 制約が不適切だと「意味のないパターン」ばかり生成される - Direct テストだけではカバレッジが伸びない
→ 組み合わせ爆発に対応できない - Random テストはデバッグが難しい
→ 再現性確保のために seed 管理が必須 - Direct と Random は対立概念ではない
→ 検証戦略として補完関係にある
Direct と Random の役割関係
関連する専門用語の整理
Coverage（カバレッジ）
テストがどれだけ設計の状態・機能を網羅したかを示す指標。
例：分岐カバレッジ、FSM 状態カバレッジ、Functional Coverage
実務での意味：Random テストの効果測定に必須。
Constraint（制約）
Random テストで生成される値の範囲や条件を指定するルール。
例：アドレスは 4 バイトアライン、パケット長は 64〜1500 byte
実務での意味：意味のあるテストパターンを生成するための必須要素。
Seed（シード）
乱数生成の初期値。
例：+seed=12345
実務での意味：Random テストの再現性を確保するために管理する。
UVM（Universal Verification Methodology）
SystemVerilog ベースの検証フレームワーク。
例：Sequence、Driver、Monitor、Scoreboard
実務での意味：Random テストを体系的に構築するための標準手法。
まとめ
- Direct テストは 仕様の確認 に強い
- Random テストは 広範囲の探索 に強い
- 両者は競合ではなく 補完関係
- Random テストには 制約・カバレッジ・seed 管理 が不可欠
- 実務では Direct → Random → Direct（再現） の循環が一般的
- 検証戦略を設計するうえで、両者の特徴を理解することが必須
コメント