From Assertion-Based Verification to Assertion-Based Synthesis.

Yann Oddos Katell Morin-Allory Dominique Borrione

Published in: VLSI-SoC (2009)

Keyphrases

neural network
artificial intelligence
web services
program synthesis
data mining
learning algorithm
knowledge base
similarity measure
wide range
data structure
information technology
trade off
model checking