Login / Signup

Formal Methods for Coverage Analysis of Power Management Logic with Mixed-Signal Components.

Sudipa MandalAritra HazraPallab DasguptaChunduri Rama Mohan
Published in: VLSI Design (2018)
Keyphrases
  • formal methods
  • power management
  • power consumption
  • formal analysis
  • high speed
  • building blocks
  • low power