Proof-Carrying Hardware: Towards Runtime Verification of Reconfigurable Modules.
Stephanie DrzevitzkyUwe KastensMarco PlatznerPublished in: ReConFig (2009)
Keyphrases
- low cost
- hardware implementation
- field programmable gate array
- functional units
- hardware designs
- formal proof
- real time
- hardware and software
- heterogeneous computing
- reconfigurable hardware
- modular structure
- reconfigurable architecture
- efficient implementation
- low power
- computer systems
- modular architecture
- hardware architecture
- hardware design
- building blocks
- model checking
- computing systems
- theorem prover
- embedded systems
- hardware software co design
- parallel hardware
- signature verification
- hardware software
- linear logic
- fine grain
- formal verification
- circuit design
- personal computer
- signal processing
- image processing