Sign in
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