A Specification-Driven Methodology for the Design and Verification of Reset Domain Crossing Logic
Traditional reset design and verification techniques have not evolved to address this increase in complexity. In order to avoid ad-hoc reset methods, this paper presents a specification-driven methodology to enable the design and verification of reset domain crossing (RDC) paths in large SoC designs. This methodology is a 3-step process that provides a requirements-based approach for RDC design and verification.
Full-access members only
Register your account to view A Specification-Driven Methodology for the Design and Verification of Reset Domain Crossing Logic
Full-access members gain access to our free tools and training, including our full library of articles, recorded sessions, seminars, papers, learning tracks, in-depth verification cookbooks, and more.