Innovative methodologies for analyzing CDC and RDC violations in complex SoC using Automations, formal verification, and Hierarchical CDC model

Author(s):
Maitri Mishra, Dharmendra Kumar