A Methodology for Performance Verification of Microprocessors.

Yongwen Wang Libo Huang Zhong Zheng

Published in: NCCET (2016)

Keyphrases

data sets
image segmentation
model checking
formal verification
database
metadata
video sequences
verification method
concurrent systems