Retargeting a hardware compiler proof using protocol converters.
Geoffrey BrownWayne LukJohn O'LearyPublished in: ASYNC (1994)
Keyphrases
- formal proof
- low cost
- programming language
- general purpose
- lightweight
- real time
- image processing
- hardware and software
- hardware implementation
- computing systems
- software systems
- hardware architecture
- cryptographic protocols
- content aware
- computer systems
- image retargeting
- theorem proving
- highly optimized
- linear logic
- communication protocol
- authentication protocol
- industry standard
- field programmable gate array
- processing units
- massively parallel
- theorem prover
- embedded systems