Paquete de propiedad intelectual de verificación AXI de Siemens EDA*

El paquete de propiedad intelectual de verificación AXI de Siemens EDA (edición FPGA Intel®) contiene los siguientes BFM:

• BFM para Siemens EDA AXI4 (edición FPGA Intel®) con interfaces principal, esclavo y supervisión en línea
  
• AXI4-Lite con BFM principal, esclavo y en línea
• AXI4-Stream con BFM principal, esclavo y en línea

Funciones

• Se incluye la API Verilog para tareas
  
• Funciona en simuladores Siemens EDA, Cadence* y Synopsys*.
• Acelera el proceso de verificación gracias a los componentes clave del banco de pruebas de verificación
• Se incluyen componentes de BFM que permiten implementar el protocolo AMBA AXI, lo que sirve como referencia para el protocolo
• Tiene equipada una suite completa de verificación de aserciones configurable en cada BFM
• Cuenta con licencias completas sin costo adicional como parte del conjunto básico de PI si se suscribe al software Intel® Quartus® Prime Standard Edition
• Le permite adquirir licencias para el paquete de propiedad intelectual de verificación Siemens EDA o como parte del paquete de propiedad intelectual básico si se requiere más de un puesto o si se utiliza el software Intel Quartus Prime Lite Edition.

Implementación

Todos los componentes BFM del paquete de propiedad intelectual de verificación AXI de Siemens EDA (Edición FPGA Intel®) principal, esclavo y de supervisión en línea se implementan en SystemVerilog. Además, se incluyen componentes envoltorios para utilizar los BFM en entornos de verificación VHDL con simuladores compatibles con un lenguaje mezclado.

Interfaz de programación de aplicaciones

El paquete de propiedad intelectual de verificación AXI de Siemens EDA (Edición FPGA Intel®) le proporciona un conjunto de APIs para cada BFM que puede utilizar para construir, instanciar, controlar y consultar señales en todos los componentes BFM. Los programas de prueba solo deben utilizar estos métodos de acceso público y eventos para comunicarse con cada BFM.

El programa de prueba genera el estímulo hacia el diseño en prueba (DUT) y determina que si el comportamiento del DUT es correcto mediante el análisis de las respuestas. Los BFM traducen los estímulos del programa de prueba, lo que crea la señalización para el protocolo AMBA AXI. Asimismo, los BFM verifican el cumplimiento del protocolo mediante la generación de una aserción cuando se observa un error de protocolo.