DSPs, BRAMs and a Pinch of Logic: New Recipes for AES on FPGAs.
Saar DrimerTim GüneysuChristof PaarPublished in: FCCM (2008)
Keyphrases
- field programmable gate array
- logic programming
- digital signal processors
- modal logic
- hardware implementation
- classical logic
- embedded systems
- hardware design
- digital circuits
- application specific integrated circuits
- image processing algorithms
- parallel computing
- automated reasoning
- predicate logic
- asynchronous circuits
- image processing
- sound and complete axiomatization