Semi-Automated Design Space Exploration for Formal Modelling.

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

Published in: ABZ (2016)

Keyphrases

semi automated
design space exploration
design space
fully automated
hardware software partitioning
computer architecture
design process
high level synthesis
formal methods
fully automatic
artificial intelligence
image processing
high performance computing