설계(Design)
Formal Equivalence Checking (EC)
설계의 두 가지 표현(예: RTL 코드와 게이트 레벨 넷리스트)이 기능적으로 동일한지 수학적, 논리적으로 증명하는 형식 검증(Formal Verification) 기법입니다. 시뮬레이션으로는 발견하기 어려운 미묘한 버그를 완벽하게 찾아낼 수 있으며, 합성, 최적화, 재타겟팅 등 설계 흐름의 각 단계에서 의도치 않은 기능 변경이 없는지 검증합니다. 검증 커버리지를 100% 보장하는 강력한 방법입니다.
최종 업데이트: 2026.04.04