: Identifying redundant gate replacements in verification by error modeling.

Zeljko Zilic Katarzyna Radecka

Published in: ITC (2001)

Keyphrases

model checking
data sets
error rate
modeling framework
database
real time
databases
artificial intelligence
computer vision
bayesian networks
expert systems
modeling method
relative error
error measure
formal verification