Novel SAT-based invariant-directed low-power synthesis.
Mahmoud ElbayoumiMichael S. HsiaoMustafa ElNainayPublished in: ISQED (2015)
Keyphrases
- low power
- power consumption
- low cost
- high speed
- single chip
- high power
- answer set programming
- sat solvers
- bounded model checking
- digital signal processing
- wireless transmission
- logic circuits
- vlsi circuits
- vlsi architecture
- low power consumption
- real time
- signal processor
- mixed signal
- planning domains
- image processing