Codasipは、RISC-V技術、安全なシリコン、機能安全に注力する半導体IPおよびプロセッサ設計企業です。製品ポートフォリオには、CHERIに対応した64ビットRISC-Vアプリケーションコア、組み込み向けおよび自動車向けプロセッサ、Codasip StudioやCodAL言語などの設計ツールが含まれます。同社は標準プロセッサIPとカスタマイズされたプラットフォームの両方を開発し、自動車、防衛、アビオニクス、産業システム、重要インフラなどの高度な要件を持つ市場に対応しています。ハードウェアとサイバーセキュリティのチームが連携し、規制対象アプリケーションに求められるセキュリティと信頼性に応えるプロセッサ技術を開発しています。
検証エンジニア – RISC-V CPU（ハイブリッド勤務、チェコ）
安全な半導体アーキテクチャ企業である Codasip に加わり、RISC-V プロセッサーと拡張機能を検証します。先進的な CPU 設計向けの自動検証フローを構築します。
仕事内容
- RISC-V プロセッサーとプロセッサー拡張機能を検証する
- テストベンチ、テストベンチコンポーネント、刺激生成、フォーマル検証環境にまたがる検証ソリューションを作成する
- エンジニアと協力してコンポーネントとサブシステムの検証作業を完了する
- ブロックとサブシステムの検証戦略を策定し、適切なツールを選択する
- 技術仕様を評価し、検証に重点を置いたフィードバックを提供する
- シミュレーションを実行し、欠陥を調査して複雑な問題の根本原因を特定する
- 担当業務を計画、見積もり、優先順位付けし、進捗を監視する
- 検証パフォーマンス指標を測定して報告する
- 自動検証ワークフローを開発する
- 複雑なアウトオブオーダー・プロセッサー設計を含む先進的な CPU を検証する
- 設計の指定領域を担当し、複数の検証アプローチを適用する
応募要件
- 現在チェコ共和国を拠点とし、同国で働く権利を有している
- CPU またはその他の ASIC に機能プロセッサー検証手法を適用した実務経験があり、シミュレーション、テスト生成、カバレッジ分析、ゲートレベルシミュレーションを含む
- CPU アーキテクチャまたはその他の知的財産の検証を理解している
- SystemVerilog、Python、C++、Rust、または同等の言語で明確かつ簡潔なコードを書ける
- これまでに設計ブロックの検証を担当した経験がある
- Linux を使用して日常的な作業を自動化できる
- Git や SVN などのバージョン管理ツールを知っている
- RISC-V アーキテクチャを理解している
- コンピューターシステムとアーキテクチャについて深い理解がある
- 分析的思考力とチームで協働する能力を示せる
- チーム横断で効果的に協力し、問題をデバッグして根本原因を特定できる
福利厚生
- 求人情報には福利厚生、手当、追加報酬の記載がありません。
