Mixed-signal verification methods for multi-power mixed-signal System-on-Chip (SoC) design | IEEE Conference Publication | IEEE Xplore