Login / Signup

Formal methods for coverage analysis of architectural power states in power-managed designs.

Aritra HazraPallab DasguptaAnsuman BanerjeeKevin Harer
Published in: ASP-DAC (2012)
Keyphrases
  • formal methods
  • formal analysis
  • power consumption
  • data analysis
  • database systems