Microcode Verification - Another Piece of the Microprocessor Verification Puzzle.

Jared Davis Anna Slobodová Sol Swords

Published in: ITP (2014)

Keyphrases

functional verification
model checking
face verification
real time
databases
image processing
formal analysis
signature verification
data sets
learning algorithm
face recognition
video sequences
probabilistic model
asynchronous circuits
verification method