Validation & Verification of an EDA automated synthesis tool.

Stefano Di Carlo Giulio Gambardella Marco Indaco Daniele Rolfo Paolo Prinetto

Published in: IDT (2011)

Keyphrases

software tools
evolutionary algorithm
data sets
neural network
information retrieval
information systems
feature space
expert systems
artificial neural networks
software engineering
data driven
model checking
user friendly
database
texture synthesis
semi automated
verification method