Mixed-signal applications are among the fastest growing market segments in the electronics and semiconductor industry. Due to this trend, most systems-on-chip (SoC) designs today are mixed signal, and all SoCs will be mixed signal at advanced process nodes in the near future. As process nodes shrink and the demand for integration grows, SoC designers are adding more analog circuitry and importing large blocks of mixed-signal intellectual property (IP). This escalating complexity poses severe challenges for mixed-signal SoC verification, such as incomplete SoC-level and system-level verification and uncertainties in verification coverage.