Formal and Virtual Multi-level Design Space Exploration.

Letitia W. Li Daniela Genius Ludovic Apvrille

Published in: MODELSWARD (Revised Selected Papers) (2017)

Keyphrases

design space exploration
design space
computer architecture
design process
hardware software partitioning
search algorithm
search space
software engineering
response time
design principles
formal methods