intel/device-modeling-language

device-modeling-language

Lenguaje de dominio específico para escribir modelos rápidos de dispositivos funcionales para plataformas virtuales. Compila DML a C con llamadas API adaptadas para el simulador Intel Simics, lo que permite la simulación de hardware y las pruebas de seguridad.