Analog and mixed-signal circuit designs are more important now than ever, due to the popularity of wearable and wireless electronic devices. The forecast of the Internet of Things (IoT) suggest that the need for advanced Mixed-Signal System-on-Chips (MSSoC) will be present in many years to come. The increasing functionality required by the analog parts of MSSoCs presents a great challenge in the verification of such systems. Simulation Program with Integrated Circuit Emphasis (SPICE) tools are still the main technique used to verify analog circuits. However, the speed of SPICE simulation becomes an issue with the increasing complexity of analog designs. Other verification strategies are necessary in order to reach sufficient functional veri...