1. A computer program product, enabling a computer system to perform a computer implemented method for generating and verifying isolation logic modules in a design of an integrated circuit (IC), the computer program product having computer instructions on a tangible computer readable medium, the computer instructions being adapted to enable the computer system, when executing the computer instructions, to perform operations, comprising: specifying a plurality of voltage constraints defining each power domain in the design; iteratively determining, for each power domain whether it is isolated by an isolation logic module exists in the design; verifying the correctness of the isolation logic module existing in the design, when the isolation logic module is identified; generating an isolation logic module for isolating the power domain, when the power domain is not correctly isolated; inserting the generated isolation logic module in the design; and outputting corrected files of the design that include at least the generated isolation logic modules.