Functional Verification of Low Power Designs at RTL.
Allan CroneGabriel ChidoluePublished in: PATMOS (2007)
Keyphrases
- low power
- functional verification
- power consumption
- high speed
- nm technology
- low cost
- digital signal processing
- single chip
- high power
- wireless transmission
- formal verification
- vlsi circuits
- low latency
- vlsi architecture
- gate array
- logic circuits
- cmos technology
- hardware software
- low power consumption
- power dissipation
- image sensor
- model based diagnosis
- multi channel
- real time