Early-stage verification of power-management specification in low-power systems design.
Dominik MackoKatarina JelemenskaPavel CicakPublished in: DDECS (2016)
Keyphrases
- power consumption
- low power
- power management
- early stage
- dynamic power management
- single chip
- low power consumption
- power dissipation
- formal methods
- vlsi architecture
- energy efficiency
- power reduction
- low cost
- logic circuits
- vlsi circuits
- formal verification
- cmos technology
- gate array
- high speed
- mixed signal
- ibm power processor
- nm technology
- digital signal processing
- asynchronous circuits
- real time
- embedded systems
- intelligent systems
- ultra low power
- design methodology
- data center
- signal processing