SAT based low power binding to reduce switching activity.
Khushbu ChandrakarSuchismita RoyPublished in: IC3 (2013)
Keyphrases
- low power
- power consumption
- low cost
- high speed
- single chip
- energy dissipation
- high power
- wireless transmission
- digital signal processing
- low power consumption
- vlsi architecture
- logic circuits
- vlsi circuits
- cmos technology
- bounded model checking
- sat solvers
- delay insensitive
- real time
- answer set programming
- low complexity
- signal processor