From Requirements to Comprehensive Verification of Smart Power ICs