logo móvil
Contáctanos

Afirmaciones de IA Generativa en la Verificación Funcional de System Verilog Basada en UVM

Autores: Radu, Valentin; Dranga, Diana; Dumitrescu, Catalin; Tabirca, Alina Iuliana; Stefan, Maria Cristina

Idioma: Inglés

Editor: MDPI

Año: 2024

Descargar PDF

Acceso abierto

Artículo científico
2024

Afirmaciones de IA Generativa en la Verificación Funcional de System Verilog Basada en UVM


Categoría

Ingeniería y Tecnología

Subcategoría

Ingeniería de Sistemas

Palabras clave

Inteligencia artificial
Afirmaciones de System Verilog
ChatGPT
Proceso de verificación
Metodología Universal de Verificación
Verificación funcional

Licencia

CC BY-SA – Atribución – Compartir Igual

Consultas: 29

Citaciones: Sin citaciones


Descripción
Este documento investiga el potencial de aprovechar la inteligencia artificial para automatizar y optimizar el proceso de verificación, particularmente en la generación de afirmaciones de System Verilog para un entorno de verificación de Advance Peripheral Bus utilizando la Metodología de Verificación Universal. La inteligencia artificial generativa, como ChatGPT, ha demostrado su capacidad para producir afirmaciones precisas y valiosas mediante el uso de indicaciones basadas en texto y entradas alimentadas por imágenes, reduciendo significativamente el esfuerzo manual requerido. Esta investigación presenta una forma de generar afirmaciones de System Verilog utilizando el aviso de ChatGPT, presentando una imagen a los Modelos de Lenguaje Grande y solicitando las afirmaciones necesarias para el protocolo respectivo. Este enfoque muestra el potencial de la inteligencia artificial para revolucionar la verificación funcional al automatizar tareas complejas, asegurando en última instancia un desarrollo más rápido y confiable de System-on-Chip. Las afirmaciones generadas por los Modelos de Lenguaje Grande se integran en un entorno de verificación de Advance Peripheral Bus existente. Este proceso implica ejecutar las afirmaciones en una plataforma gratuita de EDA Playground con los tres simuladores (Cadence Incisive, Mentor Questa y Synopsys Verilog Compiler Simulator). Las principales conclusiones son que el uso de ChatGPT-4.0 para generar afirmaciones de System Verilog reduce significativamente el tiempo y el esfuerzo requeridos para la verificación funcional, demostrando su potencial para mejorar la eficiencia y la precisión en la verificación de diseños complejos de System-on-Chip.

Otros recursos que podrían interesarte

Temas Virtualpro