A metric driven verification and validation approach for Smart Power devices | IEEE Conference Publication | IEEE Xplore