The improvement for transaction level verification functional coverage.

Zhonghai Wang Yizheng Ye

Published in: ISCAS (6) (2005)

Keyphrases

database
functional verification
model checking
real time
artificial intelligence
higher level
genetic algorithm
concurrency control
lower level
transaction processing