Accelerating Verification with Reusable Testbench.

Jungbo Son Hae-Wook Choi Sin-Chong Park

Published in: IEICE Trans. Inf. Syst. (2006)

Keyphrases

artificial intelligence
model checking
formal verification
software components
real time
face verification
video sequences
software reuse
verification method
clustering algorithm
three dimensional
hidden markov models
probabilistic model
building blocks