【神奈川：リモート】LSI(SoC)開発における論理検証業務　※フレックスタイム制あり

研究・設計・開発系その他、品質管理・テスト・評価

神奈川県横浜市栄区笠間2-5-1 各線…

￥

500万円〜750万円

正社員

仕事内容

【職務概要】
LSIの論理検証戦略の策定業務、LSIの論理検証実施業務およびをお任せいたします。

【職務詳細】
1、検証戦略策定業務
検証対象（DUT）の仕様や実装を考慮し、効果的かつ効率的に検証品質を向上させるための戦略を立てます。
具体的には、ベクタベース検証や機能等価性検証（フォーマル検証）の適用判断や、検証チームの活動方針を策定します。
2、検証実施業務：
UVM（Universal Verification Methodology）を基にした検証環境を構築します。
・カバレッジ取得環境の設計
・チェッカの作成と組み込み
・性能モニタの作成
検証項目やテストシナリオ・アサーション等を作成し、ベクタベース検証とフォーマル検証及び検証結果の取り纏めを実施します。
【使用ツール】
・作業環境：Linux／Windows
・使用言語：SystemVerilog、Verilog-HDL、C言語、C++、スクリプト言語(Python、Perl、Rubyなど)
・ツール：Verilogシミュレータ, 波形ビューワー, Formal検証ツール, 検証IP(VIP)

【業務内容変更の範囲】
その他会社が指示する業務

応募条件・求められるスキル

【必須】
・LSI論理検証業務の実務経験を3年以上お持ちの方
・Verilog-HDL, SystemVerilogを使った検証経験をお持ちの方
・UVMベースの環境での検証経験をお持ちの方
・スクリプト言語を使用した開発環境整備の経験をお持ちの方

【尚可】
・UVM検証環境構築の経験をお持ちの方
・EDA／IPベンダーとの渉外対応経験をお持ちの方
・TOEIC 550点以上相当の英語力をお持ちの方
・AMBA規格の知識をお持ちの方

■働き方
・在宅勤務：2～3日／週程度※業務事情による

募集要項

企業名	キオクシア株式会社
職種	研究・設計・開発系その他、品質管理・テスト・評価
勤務地	神奈川県横浜市栄区笠間2-5-1 各線「大船」駅より徒歩8分勤務地変更の範囲:会社が指定する場所
給与・昇給	5,000,000円〜 7,500,000円
待遇・福利厚生	■年収：500万～900万円　月給制：月額240000円　賞与：年2回（7月、12月）※管理職採用の場合：年俸制　昇給：年1回 ■雇用形態：正社員　契約期間：無期　試用期間：有(2ヶ月) ■福利厚生：住宅費補助、通勤手当、時間外勤務手当、在宅勤務手当、独身寮、単身寮、家族社宅、財形貯蓄制度、企業年金制度 ■勤務時間：8時30分～17時15分（フレックスタイム制）　休憩時間：60分 ■喫煙情報：屋内禁煙
休日・休暇	年間休日125日(2025年度)、完全週休2日制(土日)、祝日、ＧＷ休暇、夏季休暇、年末年始休暇、有給休暇、育児休暇、介護休暇、赴任休暇　等
提供	キャリアインデックス

その他・PR

【選考プロセス】

書類選考→一次面接→最終面接→内定

企業情報

企業名	キオクシア株式会社
設立年月	2017年
資本金	100億円
事業内容	【事業内容】メモリおよび関連製品の開発・製造・販売事業およびその関連事業【会社の特徴】同社は、フラッシュメモリおよびSSDの開発・製造・販売を専門とする世界有数のメモリメーカーです。もともとは東芝の半導体部門から独立し、2019年に「キオクシア」という新ブランドとしてスタートしました。社名は「記憶」と「価値」を組み合わせた造語で、「記憶に価値を」という企業理念を体現しています。同社は、1987年にNAND型フラッシュメモリを発明し、その後も3次元フラッシュ「BiCS FLASH」など、業界をリードする技術革新を重ねています。主力製品であるNAND型フラッシュメモリは、スマートフォン、データセンター、車載機器など、様々な分野で使われています。

アプリのダウンロードはこちら

【神奈川：リモート】LSI(SoC)開発における論理検証業務 ※フレックスタイム制あり