Presentation
CDC Simulation Checker Implementation for Constant and Quasi-static Data Paths
DescriptionIn the structural sign-off of metastability issues associated with Clock Domain Crossings (CDC), several assumptions are made, one of which is the presence of static signals. Static signals are typically categorized into two types: stable and constant. During the CDC structural sign-off process, these static signals can obscure numerous asynchronous boundaries within data paths because they are presumed to be inherently safe.
However, the validity of such assumptions can be questionable, potentially leading to discrepancies when compared to functional sign-off. This underscores the necessity for a robust methodology to authenticate these presumptions.
Conventionally, the disparity between structural and functional sign-offs is mitigated by validating assertions that focus on constrained signals. Yet, this traditional approach has limited analytical reach and fails to elucidate the issues clearly when assertions do not hold true. Its reliability is compromised as it does not adequately address the metastability concerns that arise when a static signal undergoes alterations at the fanout receiving registers across different clock domains.
This paper proposes a novel method for verifying data stability in static signals, aiming to enhance the reliability of CDC sign-offs by providing a more comprehensive analysis of potential metastability issues. And also we explain that we can overcome the simulation overhead with checkers embedded by way of re-organizing checker architecture algorithmically.
However, the validity of such assumptions can be questionable, potentially leading to discrepancies when compared to functional sign-off. This underscores the necessity for a robust methodology to authenticate these presumptions.
Conventionally, the disparity between structural and functional sign-offs is mitigated by validating assertions that focus on constrained signals. Yet, this traditional approach has limited analytical reach and fails to elucidate the issues clearly when assertions do not hold true. Its reliability is compromised as it does not adequately address the metastability concerns that arise when a static signal undergoes alterations at the fanout receiving registers across different clock domains.
This paper proposes a novel method for verifying data stability in static signals, aiming to enhance the reliability of CDC sign-offs by providing a more comprehensive analysis of potential metastability issues. And also we explain that we can overcome the simulation overhead with checkers embedded by way of re-organizing checker architecture algorithmically.
Event Type
Engineering Track Poster
TimeMonday, June 245:00pm - 6:00pm PDT
LocationLevel 2 Exhibit Hall
Back-End Design
Embedded Systems
Front-End Design
IP