設立30年以上 / 女性管理職登用実績あり / 試用期間あり / 急募！内定まで2週間
★お任せする業務★
本業務は、大手ITソリューションプロバイダーのデバイスソリューション部門にて、LSIのデジタル回路における論理合成および検証業務を担っていただきます。
上流のRTL設計データを受け取り、ネットリストとしてリリースするまでのプロセスにおいて、精度の高い解析とフィードバックを行う高度な技術的ポジションです。
【主な業務内容】
・RTL受入・論理合成実行： RTLデータのチェックから、Design Compiler等を用いた論理合成の実行。
・合成結果の解析・FB： 合成後のデータを詳細に解析し、設計側へ改善ポイントをフィードバック。
・論理等価検証（LEC）： FormalityやConformalを使用し、合成前後での論理等価性を厳密に検証。
・タイミング解析・改善： レポートからViolation原因を特定し、制約条件の見直しや最適化戦略の立案。
・ネットリストのリリース： 後続の配置配線工程へ繋ぐための、最終的なネットリストの品質保証。
【使用ツール】
Design Compiler、
Fusion Compiler、
Genus、
Formality、
Conformal
少しでも気になりましたら是非ご応募ください♪
学歴不問
学歴不問 / 経験者のみ募集
【必須スキル／MUST】
・論理合成経験
・等価検証経験
【歓迎スキル／WANT】
・タイミングレポートからViolationの原因を特定し改善の戦略を練れる
神奈川県横浜市港北区新横浜（最寄駅：新横浜）
08:30〜17:30
実働時間：8時間/日
月給 440,000円 ～ 520,000円 （※想定年収 6,090,000円 ～ 7,799,000円）
【試用期間】試用期間あり
試用期間の長さ：3ヶ月
雇用形態、給与は本採用時と同じです。
年間休日120日以上 / 年末年始休暇
完全週休2日制
雇用保険 / 労災保険 / 厚生年金 / 健康保険 / 交通費支給あり / 寮・社宅・住宅手当あり
◇ 給与改定年1回（8月）
◇ 賞与年2回（7月・12月）
◇ 各種社会保険完備（健康・厚生年金・労災・雇用・介護・子ども、子育て拠出金）
【通勤】交通費（5万円迄／月）
【住居】住宅手当・家賃補助
【住居】引越し補助
【住居】社宅・社員寮
【医療・健康】健康診断、人間ドック
【育児・介護支援】時短勤務制度
【育児・介護支援】リモートワーク制度
【文化・体育・娯楽】サークル活動支援費
【文化・体育・娯楽】保養所（産業機械健康保険組合の保養所利用可能）
【慶弔・災害】冠婚葬祭（お祝い金の支給、祝電、特別休暇付与あり）
【慶弔・災害】災害見舞金
【資産形成】財形貯蓄
【資産形成】企業型確定拠出年金制度
退職金制度
U・Iターン支援あり
無料講習（研修）制度
TOEIC受験奨励支援
※＜受動喫煙対策あり＞屋内原則禁煙
※感染症対策の取り組み
◇ オンライン選考OK、オンライン商談の推奨
◇ 消毒液設置
◇ 定期的な洗浄・消毒・換気
