| Resumen castellano: | El objetivo de este Trabajo Fin de Máster (TFM) es implementar un entorno de verificación funcional para interfaces de comunicaciones compatibles con el estándar de interconexión de ARM, AMBA AXI4 [30]. Para su desarrollo se empleará la metodología Universal Verification Methodology (UVM) y la plataforma Questa SIM de Mentor Graphics. Una vez implementado, se verificará mediante simulación el comportamiento de una Network on Chip (NoC) 2x2 con interfaces AMBA AXI4.
La elección de la metodología UVM para implementar el entorno, se debe a que su librería de clases permite incrementar la productividad en la verificación funcional y construir un testbench rápidamente. Esta efectividad se basa en un conjunto de técnicas que ofrece UVM y que permiten aumentar el nivel de abstracción de los test mediante el uso de modelos funcionales de buses (Bus Functional Mode o BFM), la generación de estímulos aleatorios, y la cobertura funcional.
UVM es una metodología extensa. Por este motivo, para proyectos de pequeña o media envergadura, el propio fabricante recomienda utilizar una versión más reducida de la misma, la denominada UVM Express. La menor complejidad de UVM Express permite asimilar más fácilmente los conceptos básicos de la metodología y facilita el aprendizaje de los diferentes métodos de su librería de clases. Por estas razones, UVM Express es la versión que se va a utilizar en este TFM para verificar las principales características de una NoC 2x2.
En cuanto a la NoC a verificar en este TFM, ésta se trata de una NoC 2x2 implementada con la herramienta FlexNoC de la compañía Arteris. Esta herramienta permite implementar redes NoC a partir del uso de una interfaz gráfica y siguiendo de un flujo de diseño sencillo. |
|---|
Resumen