career
팀 가이드: Formal Verification — 시뮬레이션이 못 잡는 corner를 수학으로 증명한다
Formal Verification은 시뮬레이션처럼 자극을 흘려보지 않고, RTL의 properties를 수학적으로 증명한다. JasperGold나 VC Formal을 켜놓고 cache coherence, arbiter fairness, X-propagation, security isolation 같은 corner case를 tapeout 전에 잡아내는 팀이다. 이 글은 한국 반도체 회사에서 Formal 팀이 실제로 어떤 위치에 있고, 신입부터 5년차까지 무엇을 배우며, 시장에서 얼마를 받는지 솔직하게 정리한다.