The verification of today's complex mixed-signal SoCs poses major difficulties: image sensors with several million pixels, RF tranceivers with GHz signals carrying thousands of symbols, heterogeneous systems with scattered time constants often suffer from some form of verification coverage reduction, resulting in design robustness degradation, unnecessary overdesign or even functional failures. This talk addresses application examples where the benefit of appropriate tools and methodologies for improved verification coverage is described.
展开▼