設計・デバイス開発
検証エンジニア(論理検証)
最終更新:2026-09-21
この職種は何をするのか
検証エンジニアは、デジタル回路設計者が書いたRTLにバグがないかを、製造前に徹底的に確かめる職種です。チップは一度テープアウトすると修正に数か月と数億円以上かかるため、シミュレーション・形式検証・FPGAプロトタイプを組み合わせて、考えうる動作パターンを網羅します。大規模SoCでは設計者より検証者の人数が多いことも珍しくありません。
仕事内容
検証計画の立案
仕様書から検証すべき機能を洗い出し、どこまで確認したら完了とみなすか(カバレッジ目標)を決めます。何を検証しないかを決めるのも重要な判断です。
テストベンチの構築
SystemVerilogとUVMなどの検証手法で、ランダムな入力を自動生成して期待値と照合する環境を作ります。ソフトウェア開発に近いスキルが最も生きる工程です。
カバレッジ解析とデバッグ
シミュレーションで通っていないコードや状態を見つけてテストを追加し、失敗した波形を追ってバグの原因を設計者と突き止めます。
FPGAプロトタイピングとエミュレーション
シミュレーションでは遅すぎる規模の検証は、FPGAやエミュレータに回路を載せ、実際のソフトウェアを走らせて確かめます。
担当する工程・装置
必要になる知識・用語
主な企業
関連する技術比較
よくある質問
検証エンジニアと設計エンジニアはどちらが上ですか?
上下関係ではなく役割分担です。設計者が自分で書いたコードを自分で検証すると同じ思い込みで見落とすため、独立した検証者を置くのが業界の標準的な体制です。
ソフトウェアエンジニアからの転職は可能ですか?
設計職の中では最も転向しやすい職種です。テストベンチはオブジェクト指向で書かれることが多く、テスト自動化やCIの経験がそのまま生きます。
製造後の不具合とはどう関わりますか?
試作チップで見つかった不具合を検証環境で再現し、原因がRTLのバグなのか製造起因なのかを切り分ける場面があります。後者ならテストや製品技術の担当に引き継ぎます。