Timing analysis and CDC
Why is checking with a CDC verification tool considered necessary even when STA and RTL simulation have been done?
- ABecause CDC verification tools calculate setup and hold for every flip-flop more accurately than STA
- BBecause a CDC verification tool can automatically convert asynchronous clocks into synchronous ones
- CBecause STA excludes paths between asynchronous clocks from analysis and RTL simulation does not reproduce metastability, so synchronization errors are not found
Show answer and explanation
Answer: C. Because STA excludes paths between asynchronous clocks from analysis and RTL simulation does not reproduce metastability, so synchronization errors are not found
STA cannot determine timing on paths between asynchronous clocks, so they are normally excluded from analysis, for example by specifying clock groups. In RTL simulation, flip-flops always resolve to 0 or 1, so the design appears to work correctly even without synchronizers. CDC verification tools examine the circuit structure and find paths without synchronizers, combinational logic in front of synchronizers, individually synchronized multi-bit signals, reconvergence and so on. Timing calculation is the job of STA.