US7103862B2 - Method to Design and Verify an Integrated Circuit Device with Multiple Power Domains