Proof-Carrying Hardware: Concept and Prototype Tool Flow for Online Verification.
Stephanie DrzevitzkyUwe KastensMarco PlatznerPublished in: Int. J. Reconfigurable Comput. (2010)
Keyphrases
- real time
- low cost
- online learning
- image processing
- hardware designs
- face verification
- neural network
- collaborative learning
- learning algorithm
- computer systems
- software tools
- theorem prover
- theorem proving
- key concepts
- computing systems
- visualization tool
- circuit design
- hardware design
- high end
- verification method
- database