どんな仕事か: LSIの論理検証戦略の策定業務、LSIの論理検証実施業務を担当していただきます。

【具体的には】
■検証戦略策定業務
検証対象（DUT）の仕様や実装を考慮し、効果的かつ効率的に検証品質を向上させるための戦略を立てていただきます。具体的には、ベクタベース検証や機能等価性検証（フォーマル検証）の適用判断や、検証チームの活動方針を策定していただきます。
■検証実施業務：UVM（Universal Verification Methodology）を基にした検証環境を構築していただきます。
・カバレッジ取得環境の設計
・チェッカの作成と組み込み
・性能モニタの作成
検証項目やテストシナリオ・アサーション等を作成し、ベクタベース検証とフォーマル検証及び検証結果の取り纏めを実施していただきます。

【使用ツール】
■作業環境：Linux/Windows
■使用言語：SystemVerilog、Verilog-HDL、C/C++、スクリプト言語(Python、Perl、Rubyなど)
■ツール：Verilogシミュレータ，波形ビューワー， Formal検証ツール，検証IP(VIP)

【業務のやりがい・魅力】同社の主力製品であるSSDは、特に生成AI用途において急速に成長を遂げています。この成長の波に乗りながら、新しい挑戦に取り組むことができます。開発は決して簡単ではありませんが、自分たちの製品が世界中に認められ、事業が拡大していく様子を共に体感できることに大きな魅力を感じていただけます。
求められるスキルは: 必須 ※下記いずれも該当する方
■LSI論理検証業務の実務経験をお持ちの方（目安：3年以上）
■Verilog-HDL， SystemVerilogを使った検証経験をお持ちの方
■UVMベースの環境での検証経験をお持ちの方
■スクリプト言語を使用した開発環境整備の経験をお持ちの方
雇用形態は: 正社員
どこで働くか: 神奈川県
勤務時間は: 08:30 - 17:15（コアタイム：11:00 - 13:30）
給与はどのくらい貰えるか: 550万円～1210万円(経験能力考慮の上優遇)
モデル年収 37歳 900万円
昇給1回、賞与2回
待遇・福利厚生は: 【保険】
健康保険、雇用保険、労災保険
【諸手当】
次世代育成手当（18歳未満の扶養対象児童一人あたり15，000円/月）、住宅費補助、寮・社宅（独身寮、単身寮、家族社宅）、通勤手当、時間外勤務手当、在宅勤務手当、残業代全額支給等
【待遇・福利厚生】
在宅勤務制度、財形貯蓄制度、企業年金制度
休日休暇は: 年間125日／（内訳）完全週休2日制（土日）、祝日、GW休暇、夏季休暇、年末年始、有給休暇（入社時最大18日／平均有休取得平均19.0日）、育児休暇、介護休暇、赴任休暇、等

論理検証

設計・開発エンジニア（電子回路）