Amir Masoud Gharehbaghi, Masahiro Fujita. Specification and formal verification of power gating in processors. In Fifteenth International Symposium on Quality Electronic Design, ISQED 2014, Santa Clara, CA, USA, March 3-5, 2014. pages 604-610, IEEE, 2014. [doi]
Abstract is missing.