Leadership Role - Formal Verification

담당업무

• 설계팀과 formal verification 테스트 계획 수립

• formal verification 환경 구축, assertions·covers 작성 및 적절한 constraints 설정

• 여러 계층에서 속성·assertions를 이식할 수 있는 공통 formal verification 흐름 구축

• 여러 블록에 걸친 검증 계획·실행·sign-off 주도, 품질·일정·방법론 일관성 관리

• 기술 산출물 검토, 실행 병목 해결 및 글로벌 설계·검증 조직 간 우선순위 조율

• 팀원 교육·멘토링 및 검증 방법론의 기술 방향 제시

필요 역량

• formal verification 방법론, sign-off 및 복잡한 IP·서브시스템 디버그 경험

• ASIC/IP 검증 및 복잡한 CPU·ASIC 프로젝트 경험

• 테스트 계획부터 tapeout까지의 검증 수행 경험

• SystemVerilog assertions 작성 실무 경험

• 분산된 다지역 엔지니어링 환경에서 팀을 이끌고 우선순위와 검증 완료를 주도하는 역량

우대사항

• VC Formal, Jasper 등 업계 표준 formal 검증 도구 경험

• Perl, Tcl 또는 동등한 스크립팅 경험

• Cache coherency 또는 업계 표준 AMBA 프로토콜 지식

마감기한

상시채용