Verificación Funcional de sistemas digitales descritos en HDL mediante ambientes UVM basado en agentes

• Alemán-Arce, Miguel Angel ^[1] ; Mendoza-Acevedo, Salvador ^[1] ; Oliva-Moreno, Luz Noe ^[1]
  1. [1] Instituto Politécnico Nacional

     Instituto Politécnico Nacional

     México

     
• Localización: Pädi Boletín Científico de Ciencias Básicas e Ingenierías del ICBI, ISSN-e 2007-6363, Nº. Extra 12, 2024 (Ejemplar dedicado a: Special 5 (December))
• Idioma: español
• DOI: 10.29057/icbi.v12iEspecial4.13286
• Títulos paralelos:
  • Functional Verification of Digital Systems described in HDL using UVM enviroments based on Agents
• Enlaces
  • Texto completo (pdf)
• Resumen
  • español

    Actualmente, la creciente demanda de circuitos integrados (chips) está generando una necesidad cada vez mayor de profesionales especializados en el diseño de estos componentes. Las industrias, como la automotriz y la informática móvil, no solo están requiriendo un mayor número de chips, sino que también enfrentan una expansión en las aplicaciones que requieren estos circuitos. Esto incluye desde microprocesadores avanzados hasta sistemas embebidos complejos, que requieren el uso de Lenguajes de Descripción de Hardware (HDL) a nivel de Transferencia de Registros (RTL) y expertos en verificación. La verificación funcional se vuelve crucial para asegurar que los sistemas diseñados cumplan con los requisitos especificados en las propuestas de los clientes. Para llevar a cabo esta verificación, se emplea la Metodología Universal de Verificación (UVM), una metodología estandarizada que facilita la creación de entornos de verificación modulares, mantenibles, escalables y reutilizables. Este trabajo propone la aplicación de UVM en la creación de entornos de verificación basados en agentes, lo que garantiza una alta modularidad, capacidad de expansión y reutilización, mejorando la efectividad de la verificación y permitiendo una rápida detección de errores en el diseño.

  • English

    Currently, the increasing demand for integrated circuits (chips) is creating a growing need for professionals specialized in their design. Industries such as automotive and mobile computing are not only requiring a greater number of chips but are also facing an expansion in the applications that need these circuits. This includes advanced microprocessors and complex embedded systems, which require the use of Hardware Description Languages (HDL) at the Register Transfer Level (RTL) and verification experts. Functional verification becomes crucial to ensure that the designed systems meet the requirements specified in client proposals. To perform this verification, the Universal Verification Methodology (UVM) is employed—a standardized methodology that facilitates the creation of modular, maintainable, scalable, and reusable verification environments. This work proposes applying UVM to create agent-based verification environments, ensuring high modularity, expandability, and reusability, thereby improving verification effectiveness and enabling rapid detection of design errors.

• Referencias bibliográficas
  • Bergeron, J., (2006). Writing testbenches using systemverilog. Springer. USA.
  • Coopper, V., (2023). Getting Started with UVMT. Verilab Publishing, TX USA.
  • Bhuvaneswary N., Denny J., (2022). Exploration on reusability of universal verification methodology. 2d International Conference on Advanced...
  • Gayathri M., Rini, S., (2026). A SV-UVM framework for Verification of SGMII IP Core with reusable AXI to WC Bridge UVC.
  • Hosny, S., (2022). A Unified UVM Methodology For MPSoC Hardware/Software Functional Verification. 11th International Conference on Modern...
  • Mehta, A., (2020). Systemverilog assertions and functional coverage, Springer. USA.
  • Spear, C., Tumbush G., (2012). Systemverilog for verification. 3ed Ed. Springer. USA.
  • Vaca, P., (2017). Diseño de un banco de test con metodología UVM (Universal Verification Methodology). [Tesis de Ingeniería, Universidad Politécnica...