Specification and formal verification of power gating in processors | IEEE Conference Publication | IEEE Xplore