Synthesis of system verilog assertions.

Sayantan Das Rizi Mohanty Pallab Dasgupta P. P. Chakrabarti

Published in: DATE Designers' Forum (2006)

Keyphrases

program synthesis
knowledge base
wide range
artificial intelligence
database
neural network
machine learning
genetic algorithm
information systems
feature selection
multi agent
data structure
probabilistic model
functional decomposition
functional programs