Optimizing equivalence checking for behavioral synthesis.

Kecheng Hao Fei Xie Sandip Ray Jin Yang

Published in: DATE (2010)

Keyphrases

program synthesis
neural network
artificial intelligence
case study
data structure
behavioral data
computer vision
e learning
bayesian networks
expert systems
relational databases
multiresolution
human behavior
datalog programs