Static property checking using ATPG vs. BDD techniques.

Chung-Yang Huang Bwolen Yang Huan-Chih Tsai Kwang-Ting Cheng

Published in: ITC (2000)

Keyphrases

data sets
boolean functions
website
real time
databases
data mining
artificial intelligence
decision making
lower bound
monotonicity property