具体的な業務内容
横浜◆開発・論理検証業務(SSD向けLSI)◇プライム上場/在宅勤務可/年間休日125日
〜AI需要を支える中核ストレージ技術で成長性◎/NANDフラッシュメモリのリーディングカンパニー〜
【採用背景】
近年AIの発展が急速に高まる中、技術面においては大きな変革が求められており、SSDはそのキーデバイスとして注目されています。私達のところで開発しているSoC(System on chip)はそのSSDを制御する為の心臓部となるLSIであり、高速化・大容量化といったお客様の様々なご要望や、市場をリードするための先行技術を世の中に先駆けて取り込む活動を継続しています。この度、技術力と組織力強化の一環として、是非、私たちの事業成長と共に一緒にSoCを開発したいと考えて下さるエンジニアを広く募集する次第です。
【組織のミッション】
SSDで必要とされる機能・性能・コストを踏まえ、最適な内製SoC開発の企画を行うとともに、それに沿ったアーキテクチャを策定し、そのSoCの開発設計業務をつかさどる。具現化される仕様策定においては製品技術部と連携し、また開発したSoCを搭載したSSDの製品化およびメンテナンスにおいてはSoC開発の立場でサポートを行う。
【職務内容】
・LSIの論理検証戦略の策定業務
・LSIの論理検証実施業務
【具体的な仕事内容】
(1) 検証戦略策定業務
検証対象(DUT)の仕様や実装を考慮し、効果的かつ効率的に検証品質を向上させるための戦略を立てます。
具体的には、ベクタベース検証や機能等価性検証(フォーマル検証)の適用判断や、検証チームの活動方針を策定します。
(2) 検証実施業務:
UVM(Universal Verification Methodology)を基にした検証環境を構築します。
・カバレッジ取得環境の設計
・チェッカの作成と組み込み
・性能モニタの作成
検証項目やテストシナリオ・アサーション等を作成し、ベクタベース検証とフォーマル検証及び検証結果の取り纏めを実施します。
【使用ツール】
・作業環境:Linux/Windows
・使用言語:SystemVerilog、Verilog-HDL、C/C++、スクリプト言語(Python、Perl、Rubyなど)
・ツール:Verilogシミュレータ, 波形ビューワー, Formal検証ツール, 検証IP(VIP)
変更の範囲:会社の定める業務
チーム/組織構成
その他製品・プロジェクト事例
利用するツール・ソフト等