A Structured Verification Approach for MIPS Microprocessors: A Case Study of the R4200.

Mayank Gupta Barbara Zivkov

Published in: COMPCON (1994)

Keyphrases

model checking
case study
computing power
face verification
structured data
concurrent systems
data mining
machine learning
multi agent
face recognition
test bed
information systems
computer architecture
computer vision
single chip
fingerprint verification
verification method