Avoiding Hardware Aliasing: Verifying RISC Machine and Assembly Code for Encrypted Computing.
Peter T. BreuerJonathan P. BowenPublished in: ISSRE Workshops (2014)
Keyphrases
- hardware architecture
- low cost
- low power consumption
- application specific
- hardware and software
- instruction set
- real time
- high resolution
- manufacturing cell
- high frequency
- frequency domain
- computer systems
- hardware implementation
- printed circuit boards
- source code
- flowshop
- low power
- spatial resolution
- error detection
- super resolution
- high speed
- hardware description language