Correctness Preserving Transformations for the Design of Parallelized Low-Power Systems.
Marc TheisenFelix C. GärtnerPublished in: GI Jahrestagung (2000)
Keyphrases
- low power
- single chip
- power consumption
- vlsi architecture
- low cost
- low power consumption
- high speed
- logic circuits
- gate array
- power reduction
- digital signal processing
- preserving transformations
- cmos technology
- ultra low power
- vlsi circuits
- digital circuits
- embedded systems
- power dissipation
- mixed signal
- nm technology
- database systems
- design methodology
- finite state machines