US7546566B2 - Method and System for Verification of Multi-Voltage Circuit Design