Formal Verification Engineer

담당업무

• 고성능 x86 코어 ISA 기능 검증

• 프로세서의 클록·리셋·전력 기능 검증

• 전력 관리 기능, 캐시, 코히어런시 및 데이터 경로 검증

• 기능 검증을 위한 테스트플랜 실행 및 테스트벤치 컴포넌트 개발

• 커버리지 계획 실행 및 검증 완료

• 마이크로아키텍처 사양과 설계를 연계한 회귀 테스트 실패 원인 분석

• 기존 테스트벤치 구조 파악 및 개선 기회 발굴

• 문서화, 커뮤니케이션 및 담당 업무 독립 수행

자격요건

• 복잡한 설계의 검증 실무 경험

• 전체 설계·검증 주기에 대한 이해

• C++ 및 SystemVerilog 기반 테스트벤치 개발 경험

• 객체지향 프로그래밍 개념과 프로그래밍 역량

• 디버깅 역량

• 우수한 커뮤니케이션 및 문서화 역량

우대사항

• x86, ARM 등 산업 표준 마이크로프로세서 ISA 경험

• 캐시, 코히어런시 및 데이터 일관성 검증 경험

• 저전력 설계 검증 기법 이해

채용 관련 안내

• 지원자 선별·평가 과정에서 인공지능 활용 가능

• 법률상 보호되는 개인 특성과 무관한 공정한 심사

• 채용 전 과정에서 지원자 편의 제공

마감기한

상시채용