La verificación de los conmutadores ATM requiere que la plataforma de prueba genere incentivos aleatorios restringidos y recopile datos de cobertura funcional.
El diseño del piso superior se vuelve en cuclillas.
La clase de entorno es el núcleo de la plataforma de prueba. Esta clase contiene los diversos módulos de la plataforma de prueba en capas, como generadores, controladores, monitores y marcadores. También controla los cuatro pasos de la prueba: generar una configuración aleatoria, establecer un entorno operativo de plataforma de prueba, ejecutar y esperar a que finalice la prueba, y cerrar el sistema y cerrar el informe.
Para construir un entorno de verificación completo con System Verilog, el núcleo está en el uso de funciones de devolución de llamada y patrones de modelo, que se puede decir que son el mecanismo de devolución de llamada y el mecanismo de modelo.
La construcción de un entorno de verificación completo sobre la base de System Verilog proporciona tres mecanismos: mecanismo de secuencia, mecanismo de fábrica y mecanismo de devolución de llamada. Entre ellos, el mecanismo de secuencia y el mecanismo de fábrica son una extensión del mecanismo de modelo de System Verilog.
