Parameterized Synthesis Case Study: AMBA AHB.

Roderick Bloem Swen Jacobs Ayrat Khalimov

Published in: CoRR (2014)

Keyphrases

case study
program synthesis
lessons learned
development process
texture synthesis
data sets
machine learning
real world
information retrieval
genetic algorithm
three dimensional
image sequences
bayesian networks
expert systems
open source
analog circuits