Formalized High Level Synthesis with Applications to Cryptographic Hardware.
William L. HarrisonIan BlumenfeldEric BondChris HathhornPaul LiMay TorrenceJared ZieglerPublished in: NFM (2023)
Keyphrases
- high level synthesis
- parallel architecture
- random number generator
- hardware and software
- low cost
- hardware implementation
- smart card
- random number
- computer systems
- real time
- design space exploration
- parallel processing
- image processing
- security protocols
- shared memory
- information systems
- user interface
- pattern recognition
- encryption scheme
- massively parallel
- hash functions
- embedded systems
- data processing