Design Space Exploration as Quantified Satisfaction.

Alexander Feldman Johan de Kleer Ion Matei

Published in: CoRR (2019)

Keyphrases

design space exploration
design space
computer architecture
design process
hardware software partitioning
user satisfaction
high level synthesis
search algorithm
computer systems