Login / Signup
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