Melting Verification Pot: Integrating RVM/VMM and UVM, a Practical Guide and Lessons Learned.