Sequencing of the critical low power control signals: Static verification checks can not verify the ... Missing Level Shifter: Consider a design having two blocks working on two different power ...