Modelo Comportamental de Dispositivo
Definición
Un modelo funcional de alto nivel que especifica el comportamiento entrada–salida de un dispositivo o subsistema (funciones de transferencia, relaciones algebraicas/diferenciales, temporización, ruido, límites) para simulación y verificación a nivel de sistema sin representar la estructura física interna detallada ni los parasitarios de nivel de disposición.