Semi-Automated Design Space Exploration for Formal Modelling.

Gudmund Grov Andrew Ireland Maria Teresa Llano Peter Kovacs Simon Colton Jeremy Gow

Published in: CoRR (2016)

Keyphrases

semi automated
design space exploration
design space
fully automated
design process
computer architecture
hardware software partitioning
high level synthesis
databases
learning environment
response time
data mining
case study
fine grained