Symbolic computation of logic implications for technology-dependent low-power synthesis.
R. Iris BaharM. BurnsGary D. HachtelEnrico MaciiH. ShinFabio SomenziPublished in: ISLPED (1996)
Keyphrases
- low power
- power consumption
- logic circuits
- gate array
- high speed
- cmos technology
- wireless transmission
- low cost
- delay insensitive
- high power
- single chip
- vlsi circuits
- nm technology
- digital signal processing
- image sensor
- mixed signal
- ultra low power
- real time
- low power consumption
- vlsi architecture
- modal logic
- low voltage
- general purpose