Novel Verification Framework Combining Structural and OBDD Methods in a Synthesis Environment.

Subodh M. Reddy Wolfgang Kunz Dhiraj K. Pradhan

Published in: DAC (1995)

Keyphrases

neural network
preprocessing
main contribution
statistical methods
data representations
machine learning
multi agent
benchmark datasets
theoretical framework