External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Specification and formal verification of power gating in processors

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]

Authors

Amir Masoud Gharehbaghi

This author has not been identified. Look up 'Amir Masoud Gharehbaghi' in Google

Masahiro Fujita

This author has not been identified. Look up 'Masahiro Fujita' in Google
runs on