Verification of an ARM Cortex-M3 based SoC using UVM | IEEE Conference Publication | IEEE Xplore