Coverage-driven mixed-signal verification of smart power ICs in a UVM environment | IEEE Conference Publication | IEEE Xplore