La complejidad de los diseños digitales ha aumentado exponencialmente en las últimas décadas. Los Sistemas-en-Chip heterogéneos integran muchos componentes de hardware diferentes que requieren un entorno de verificación confiable y escalable. El esfuerzo para configurar dichos entornos también ha aumentado y desempeña un papel significativo en los proyectos de diseño digital, ocupando más del 50% del tiempo total del proyecto. Varias soluciones se han desarrollado con el objetivo de automatizar esta tarea, integrando varios pasos del flujo de diseño de Integración a Gran Escala, pero sin abordar la exploración del espacio de diseño en ambos lados, tanto de software como de hardware.