타이밍 분석과 CDC
STA와 RTL 시뮬레이션을 수행하더라도 CDC 검증 툴로 확인해야 하는 이유로 올바른 것은?
- ACDC 검증 툴은 모든 플립플롭의 셋업과 홀드를 STA보다 정확하게 계산하기 때문에
- BCDC 검증 툴을 사용하면 비동기 클럭을 동기 클럭으로 자동 변환할 수 있기 때문에
- CSTA는 비동기 클럭 간 경로를 분석에서 제외하고, RTL 시뮬레이션은 메타스테빌리티를 재현하지 않으므로 동기화 오류를 찾을 수 없기 때문에
정답과 해설 보기
정답: C. STA는 비동기 클럭 간 경로를 분석에서 제외하고, RTL 시뮬레이션은 메타스테빌리티를 재현하지 않으므로 동기화 오류를 찾을 수 없기 때문에
비동기 클럭 사이의 경로는 STA로 타이밍을 정할 수 없기 때문에 클럭 그룹 지정 등으로 분석에서 제외하는 것이 보통입니다. 또한 RTL 시뮬레이션에서는 플립플롭이 항상 0이나 1로 확정되므로, 동기화기가 없어도 올바르게 동작한 것처럼 보입니다. CDC 검증 툴은 회로의 구조를 조사하여 동기화기가 없는 경로, 동기화기 앞의 조합 회로, 멀티비트의 개별 동기화, 리컨버전스 등을 찾아냅니다. 타이밍 계산은 STA의 역할입니다.