Avoiding Confounding Configurations: An RDC Methodology for Configurable Designs

Requirements for asynchronous reset behavior extend the complexities of Clock Domain Crossings as designs add reset domains to meet power and functional requirements. Design configurability common in IP development and in construction of subsystems built of configurable elements introduces challenges to the verification of Reset Domain Crossings (RDC). This paper outlines an approach to RDC verification that efficiently addresses these challenges.

Eamonn Quigley, Arm
Jonathan Niven, Arm
Kurt Takara, Siemens
Christopher Giles, Siemens