Full system verification of compatible microprocessors with a dual physical core verification platform.

Jyun-Yan Li Ing-Jer Huang

Published in: ISOCC (2016)

Keyphrases

model checking
databases
person identification
asynchronous circuits
verification method
neural network
learning algorithm
knowledge base
case study
face verification
physical world
formal verification
functional verification