Efficient construction of binary moment diagrams for verifying arithmetic circuits.

Kiyoharu Hamaguchi Akihito Morita Shuzo Yajima

Published in: ICCAD (1995)

Keyphrases

real time
neural network
data mining
computationally efficient
databases
artificial intelligence
artificial neural networks
query processing
cost effective
model checking
sparse matrices