From Spec to Verification Closure: A case study of applying UVM-MS for first pass success to a complex MS-SoC design