Early and Accelerated SoC Connectivity Verification using VC Formal Connectivity Checking App
Wednesday, March 9, 2022 | 10-10:45 a.m. PST
Complex bus protocols, increased on-chip functionalities, coupled with limited shared I/O resources, result in complex wiring connections in SoCs with numerous muxing schemes.
Simulation and structural analysis approaches require huge effort and may lead to bug escapes making