620 Multiprocessor Verification Strategy.

Jen-Tien Yen Marie Sullivan Carlos Montemayor Pete Wilson Richard Evers

Published in: ITC (1995)

Keyphrases

artificial intelligence
model checking
real time
functional verification
data mining
image processing
optimal solution
data structure
scheduling algorithm
formal analysis