Multi-core, coherent SoCs are very complex and verifying their behavior requires a system level perspective that is not easily acquired. As more devices incorporate the coherent multi-core architecture out of competitive necessity, organizations are grappling with the challenges of achieving high quality. This presents a unique opportunity for Cadence to provide libraries for use with the Cadence Perspec System Verifier that address these complex system level behaviors, and reduce the project risk and verification effort.