募集要項
- 仕事内容
-
■お任せする業務
本業務は、大手ITソリューションプロバイダーのデパイスソリューション部門にて、LSIのデジタル回路における論理合成および検証業務を担っていただきます。
上流のRTL設計データを受け取り、ネットリストとしてリリースするまでのプロセスにおいて、精度の高い解析とフィードバックを行う高度な技術的ポジションです。
【主な業務内容】
・RTL受入・論理合成実行:RTLデータのチェックから、Design Compiler等を用いた論理合成の実行。
・合成結果の解析・FB:合成後のデータを詳細に解析し、設計側へ改善ポイントをフィードバック。
・論理等価検証(LEC):FormalityやConformalを使用し、合成前後での論理等価性を厳密に検証。
・タイミング解析・改善:レポートからViolation原因を特定し、制約条件の見直しや最適化戦略の立案。
・ネットリストのリリース:後続の配置配線工程へ繋ぐための、最終的なネットリストの品質保証。
【使用ツール】
Design Compiler.
Fusion Compiler.
Genus，
Formality.
Conformal
- 応募資格
-
- 必須
-
【必須スキル・経験】
・論理合成経験
・等価検証経験
【歓迎する経験・スキル】
・タイミングレポートからViolationの原因を特定し改善の戦略を練れる
- 雇用形態
- 正社員
- 勤務地
- 神奈川県
- 年収・給与
- 609～779万円
