Codasip은 RISC-V 기술, 보안 실리콘, 기능 안전에 주력하는 반도체 IP 및 프로세서 설계 기업입니다. 제품 포트폴리오에는 CHERI를 지원하는 64비트 RISC-V 애플리케이션 코어, 임베디드 및 자동차용 프로세서, Codasip Studio와 CodAL 언어 등의 설계 도구가 포함됩니다. Codasip은 표준 프로세서 IP와 맞춤형 플랫폼을 모두 개발하며, 자동차, 국방, 항공전자, 산업 시스템, 핵심 인프라 등 높은 요구사항을 지닌 시장을 대상으로 합니다. 하드웨어와 사이버 보안 분야의 팀이 협력해 규제 대상 애플리케이션의 보안성과 신뢰성 요구를 충족하도록 설계된 프로세서 기술을 개발합니다.
검증 엔지니어 – RISC-V CPU(하이브리드 근무, 체코)
안전한 반도체 아키텍처 기업인 Codasip에 합류하여 RISC-V 프로세서와 확장을 검증합니다. 첨단 CPU 설계를 위한 자동화된 검증 플로를 구축합니다.
설명
- RISC-V 프로세서와 프로세서 확장을 검증합니다
- 테스트벤치, 테스트벤치 구성 요소, 자극 생성 및 형식 검증 환경을 아우르는 검증 솔루션을 개발합니다
- 엔지니어들과 협력하여 구성 요소와 서브시스템의 검증 작업을 완료합니다
- 블록과 서브시스템의 검증 전략을 수립하고 적절한 도구를 선택합니다
- 기술 사양을 검토하고 검증에 중점을 둔 피드백을 제공합니다
- 시뮬레이션을 실행하고 결함을 조사하며 복잡한 문제의 근본 원인을 파악합니다
- 할당된 업무를 계획하고 산정하며 우선순위를 정하고 모니터링합니다
- 검증 성능 지표를 측정하고 보고합니다
- 자동화된 검증 워크플로를 개발합니다
- 복잡한 비순차 실행 프로세서 설계를 포함한 첨단 CPU를 검증합니다
- 설계의 지정된 영역을 담당하고 여러 검증 접근 방식을 적용합니다
지원 자격
- 현재 체코에 거주하며 현지에서 근무할 권리가 있습니다
- CPU 또는 기타 ASIC에 기능적 프로세서 검증 방법을 적용한 상용 경험이 있으며, 시뮬레이션, 테스트 생성, 커버리지 분석 및 게이트 수준 시뮬레이션을 포함합니다
- CPU 아키텍처 또는 기타 지식재산의 검증을 이해합니다
- SystemVerilog, Python, C++, Rust 또는 이에 준하는 언어로 명확하고 간결한 코드를 작성할 수 있습니다
- 이전에 설계 블록의 검증을 담당한 경험이 있습니다
- Linux를 사용하여 반복적인 작업을 자동화합니다
- Git 및 SVN과 같은 버전 관리 도구를 알고 있습니다
- RISC-V 아키텍처를 이해합니다
- 컴퓨터 시스템과 아키텍처를 깊이 이해합니다
- 분석적 사고와 협업 능력을 갖추고 있습니다
- 팀 간에 효과적으로 협업하여 문제를 디버깅하고 근본 원인을 파악할 수 있습니다
복리후생
- 채용 공고에는 복리후생, 특전 또는 추가 보상이 명시되어 있지 않습니다.