Structural CDC analysis methods

This paper analyzes a problem of Clock Domain Crossings (CDC) verification in modern System-on-Chips. We suggest a set of topological methods that automatically discover CDCs and detect typical structural mistakes frequently occurring at the border of independent clock domains in many designs. Detecting structural design rule violations is a critical part of a complex CDC verification flow implemented in our commercial product ALINT-PRO-CDC™ [1].