Presentation
Challenges Faced in Formal Based MSI: Tackle Formal Problem with a Formal Solution
DescriptionMetastability Injection (MSI) in the N-stage synchronisers for the synchronised paths, is the need essential to verify the robustness of the design against the uncertainties associated with the stability of synchroniser output. Although there are multiple ways to solve this, one of them being Jasper MSI utility which can be exported to inject metastability on the injection points identified during the CDC/RDC analysis cycle. But this solution comes with the challenges to completely close on the coverage metrics. As the number of synchronisers increases, number of such cover points also increases. Now, if we try to use the above method to prove that the convergence problems seen in analysis phase are safe, then we need to ensure 100% cross coverage of the synchronised paths which will blast exponentially as number of converging synchroniser paths increases in the design. Proposing how to combat the CDC tool problem with alternative approach of using FPV and SEC Apps for better sign off.
Event Type
Engineering Track Poster
TimeTuesday, June 255:26pm - 5:26pm PDT
LocationLevel 2 Exhibit Hall
Back-End Design
Embedded Systems
Front-End Design
IP