By doing metastability-aware simulation using dynamic CDC models and injecting metastability will reveal design errors detected that pure functional simulation does not reveal.
Samsung further enhanced its dynamic CDC verification methodology by replacing its conventional, data-transition-based models, with design-aware model. The new approach links static sign-off and functional verification by leveraging static CDC analysis, such as glitches, reconverging paths, and short-pulses, to reveal new bug cases.
Doing so requires no additional effort and offers a seamless flow from static CDC sign-off to dynamic CDC verification. This is because the new models were automatically generated from the static sign-off database.
Finally, the injection statistics can be managed internally for coverage metrics.