
キオクシア株式会社
SSD向けLSI(SoC)フロントエンド(UVM・論理検証)エンジニア_K2608
【職務内容】
●LSIの論理検証戦略の策定業務
●LSIの論理検証実施業務
【具体的な仕事内容】
① 検証戦略策定業務
検証対象(DUT)の仕様や実装を考慮し、効果的かつ効率的に検証品質を向上させるための戦略を立てます。
具体的には、ベクタベース検証や機能等価性検証(フォーマル検証)の適用判断や、検証チームの活動方針を策定します。
② 検証実施業務:
UVM(Universal Verification Methodology)を基にした検証環境を構築します。
●カバレッジ取得環境の設計
●チェッカの作成と組み込み
●性能モニタの作成
検証項目やテストシナリオ・アサーション等を作成し、ベクタベース検証とフォーマル検証及び検証結果の取り纏めを実施します。
※入社後の適正に応じて、将来的に論理検証だけではなく、論理設計まで活躍の幅を広げてご活躍いただける機会もございます。
[従事すべき業務の変更の範囲]
(雇入れ直後)上記の通り
(変更の範囲)その他会社が指示する業務
【使用ツール】
●作業環境:Linux/Windows
●使用言語:SystemVerilog、Verilog-HDL、C/C++、スクリプト言語(Python、Perl、Rubyなど)
●ツール:Verilogシミュレータ, 波形ビューワー, Formal検証ツール, 検証IP(VIP)