LINT·CDC 도구로 RTL 코딩 룰 위반과 클럭 도메인 교차 이슈를 설계 초기에 조기 발견 경험
LINT와 CDC 도구를 처음 사용한 건 학부 SoC 설계 수업에서 RTL 코드 품질 점검 단계였습니다. LINT 도구는 코딩 룰 위반과 잠재적 합성 문제를 시뮬레이션 전에 잡아주기 때문에 초기 단계에서 돌리는 것이 효율적임을 배웠습니다. CDC 도구로 클럭 도메인 교차 경로를 분석하면서, 동기화 회로 없이 신호가 넘어가는 경우를 시각적으로 확인했습니다.
VCLP는 보안 속성을 공식 검증하는 방향으로 쓰인다는 것을 문서로 학습했고, 직접 사용한 경험은 아직 없습니다. 도구 결과를 그대로 수용하지 않고, 실제로 문제가 되는 케이스인지 설계 의도와 비교해 판단하는 것이 중요하다는 것을 경험했습니다. 이 과정에서 정적 분석 도구가 검증의 전처리 단계 역할을 한다는 것을 이해했습니다.