An FPGA based verification platform for HyperTransport 3.x.

Heiner Litz Holger Fröning Maximilian Thürmer Ulrich Brüning

Published in: FPL (2009)

Keyphrases

real time
mobile applications
face verification
formal analysis
application specific
artificial intelligence
search engine
image sequences
model checking
hardware implementation
formal methods
formal verification
cryptographic protocols
fingerprint verification