A Novel Collaborative Verification Environment for SoC Co-Verification.

Tun Li Sikun Li Jinshan Yu Yang Guo

Published in: CSCWD (2007)

Keyphrases

model checking
face verification
real time
dynamic environments
collaborative environment
case study
person identification
asynchronous circuits
computer vision
image sequences
mobile robot
concurrent systems
collaborative learning environments