Combining Simulation and FPGA Based Verification to an Affordable and Ultra-Fast Multi-Billion-Gate Verification System.

Published in: RSP (2019)

Keyphrases

model checking
signature verification
formal methods
concurrent systems
data mining
verification method
formal verification
mathematical analysis
simulation model
artificial intelligence
face verification
wireless sensor networks
video processing
case study
website
high security
machine learning
databases