US8732636B2 - Method, System, and Computer Program Product for Implementing Multi-Power Domain Digital / Mixed-Signal Verification and Low Power Simulation