Intel ha lanzado Device Modeling Language (DML), un lenguaje específico de dominio diseñado para crear modelos de dispositivos rápidos y funcionales para plataformas virtuales. DML simplifica la creación de modelos de dispositivos al ofrecer abstracciones de alto nivel, como bancos de registros, interfaces y capacidades de registro. El código DML se compila utilizando el DML Compiler (DMLC), generando código C optimizado para simuladores específicos, inicialmente compatible con el simulador Intel Simics.
La disponibilidad de DML es significativa porque permite a los desarrolladores crear modelos de hardware más precisos y eficientes para la simulación y el desarrollo de software, lo que agiliza los procesos de diseño y verificación. Para utilizar DML, los usuarios necesitan una instalación de Simics y configurar un proyecto. El código fuente está disponible en GitHub. El compilador DMLC ofrece varias opciones de configuración y generación de estadísticas para optimizar el rendimiento y la depuración, incluyendo la generación de archivos de estadísticas de tamaño de código para identificar áreas de mejora en la eficiencia del código generado.