Millions to thousands issues through knowledge based SoC CDC verification.

Youngchan Lee Namdo Kim Jay B. Kim Byeong Min

Published in: ISOCC (2012)

Keyphrases

tens of thousands
model checking
database
real world
practical issues
real time
decision making
open issues
data structure
verification method
asynchronous circuits
huge number
key issues
np complete
low cost
bayesian networks
case study
information systems
databases