Sequencing of the critical low power control signals: Static verification checks can not verify the sequence in which critical low power signals can be asserted. The basic example of one such check is ...