IP/BLK 수준에서의 디자인 제약조건(SDC)을 관리한 경험에 대해 이야기해 주세요.

SDC 검증에서 제약이 설계 의도와 일치하는지를 자동화 방식으로 교차 확인하는 것이 수동 리뷰보다 실수를 줄인다는 것을 배웠습니다. 클럭 경로에 false path가 잘못 설정돼 실제 타이밍 경로가 분석에서 빠지는 경우가 있었는데, STA 완료 후 unconstrained path 목록을 확인하면 누락된 제약을 찾을 수 있습니다. set_check_timing 명령이나 도구 내 제약 커버리지 리포트를 활용하면 어느 경로에 제약이 적용되지 않았는지를 가시화할 수 있습니다.

제약 검증은 STA 결과가 맞는 것을 확인하는 것이 아니라 STA가 올바른 범위를 보고 있는지를 확인하는 것입니다. 이 경험에서 제약 커버리지와 경고 메시지를 습관적으로 확인하는 것이 SDC 품질을 높이는 방법이라는 것을 배웠습니다. SDC는 작성보다 검증이 더 어렵고 더 중요한 단계입니다.