Login / Signup

Selective State Retention Power Gating Based on Formal Verification.

Shlomo GreenbergJoseph RabinowiczErez Manor
Published in: IEEE Trans. Circuits Syst. I Regul. Pap. (2015)
Keyphrases
  • formal verification
  • model checking
  • bounded model checking
  • state space
  • image registration
  • functional verification
  • heuristic search
  • power consumption
  • model checker
  • symbolic model checking