驗證工程師 – RISC-V CPU（混合辦公，捷克）
加入 Codasip，在一家安全的半導體架構公司中驗證 RISC-V 處理器及其擴充功能。為先進 CPU 設計建立自動化驗證流程。
說明
- 驗證 RISC-V 處理器及其擴充功能
- 建立涵蓋測試平台、測試平台元件、激勵產生和形式驗證環境的驗證解決方案
- 與工程師合作完成元件和子系統的驗證工作
- 為區塊和子系統制定驗證策略並選擇合適的工具
- 評估技術規格，並提供以驗證為重點的回饋
- 執行模擬、調查缺陷並找出複雜問題的根本原因
- 規劃、估算、排定優先順序並監控所分配的工作
- 衡量並報告驗證效能指標
- 開發自動化驗證工作流程
- 驗證先進 CPU，包括複雜的亂序處理器設計
- 負責指定的設計區域，並套用多種驗證方法
職位要求
- 目前居住在捷克共和國，並擁有在當地工作的合法權利
- 具備將功能處理器驗證方法應用於 CPU 或其他 ASIC 的商業經驗，包括模擬、測試產生、涵蓋率分析和閘級模擬
- 了解 CPU 架構或其他智慧財產的驗證
- 能夠使用 SystemVerilog、Python、C++、Rust 或類似語言撰寫清晰、精簡的程式碼
- 曾負責某個設計區塊的驗證工作
- 使用 Linux 自動化日常任務
- 了解 Git 和 SVN 等版本控制工具
- 了解 RISC-V 架構
- 深入理解電腦系統和架構
- 具備分析思維和團隊協作能力
- 能夠跨團隊有效協作，除錯問題並找出根本原因
福利待遇
- 徵才資訊未說明福利、津貼或額外薪酬。