Formal Verification of Power Management Logic with Mixed-Signal Domains.
Sudipa MandalAntonio Anastasio Bruto da CostaAritra HazraPallab DasguptaBhushan NawareChunduri Rama MohanSanjib BasuPublished in: VLSI Design (2017)
Keyphrases
- formal verification
- power management
- power consumption
- mixed signal
- low power
- bounded model checking
- model checker
- model checking
- low voltage
- vlsi circuits
- energy consumption
- digital circuits
- automated verification
- data center
- energy saving
- energy efficiency
- symbolic model checking
- temporal logic
- automated reasoning
- cmos technology
- formal methods
- multi channel
- real time
- database
- high speed
- artificial intelligence