April 24, 2023
CDC sequential reconvergence can be systematically verified without exhaustive manual review by using the circuit model in this methodology.
May 19, 2022
CDC-related metastability is hard to catch by hand and processes are error prone. Tools offer a more comprehensive approach.
April 21, 2020
The authors describe an emerging methodology based on a hierarchical data model approach that satisfies the key requirements for RDC verification.
January 30, 2020
A new clock-domain crossing methodology is described and results provided to show how automation delivers greater efficiency.
December 3, 2018
The verification challenges of using low-power design techniques to enable advanced power-management strategies in complex SoCs.