LO
Capacité techniqueAutomatisation cognitive2023-12-10
GPT-4 a réussi 43,5 % de 156 problèmes Verilog rédigés par des humains au premier essai dans VerilogEval, dont les auteurs disent qu'il se limite à du code générique pour de petites conceptions
Ingénieur en conception de pucespage du métier →
Date de l'événement / signalement
2023-12-10
Stade de la preuve
Capacité techniqueUne démonstration, un référentiel ou un article montre que la tâche peut être faite. Cela met à jour ce que la technologie sait faire — pas ce que les employeurs feront.
Tâches concernées
Écrire le RTL
Écrire le code de description matérielle (Verilog, VHDL) qui décrit la logique de chaque bloc.
Augmentée≈ Estimation de la plateforme
Où ceci s'applique
Un banc d'essai de 156 problèmes tirés du site d'apprentissage de Verilog HDLBits, dont la correction fonctionnelle est vérifiée par simulation par rapport à une solution de référence. Dans les résultats corrigés de la v2, GPT-4 a réussi 43,5 % des problèmes rédigés par des humains au premier essai et 58,9 % en dix essais. Les auteurs disent que leurs évaluations se limitent à la génération de code générique pour des conceptions de taille relativement petite. Des modèles de 2023 sur des problèmes d'apprentissage ; l'employeur des auteurs conçoit des puces.
Ce que cela veut dire
Les modèles savent écrire du code matériel fonctionnel au premier essai pour une minorité de problèmes de type manuel.
Ce que cela ne montre pas encore
De courts problèmes d'apprentissage avec des modèles de 2023 ; cela ne mesure pas de vrais projets de puces.
Ce que vous pouvez vérifier
Ouvrez arXiv 2309.07544 (VerilogEval) et lisez la Table II dans le PDF de la v2.
Cela change-t-il l'évaluation ?
Non — et ce stade ne le déplace pas non plus. Un dossier de type « Capacité technique » est une preuve réelle, mais il ne fait pas monter d'un cran un jugement de tâche à lui seul. 1 jugement lié ci-dessus reste là où il était.
Source
Liu et al. (NVIDIA) — VerilogEval: Evaluating Large Language Models for Verilog Code Generation, arXiv 2309.07544 (v2, 10 Dec 2023) · vérifié 2026-09-30 · Claude (VOLO agent) · interprété 2026-09-30 · Claude (VOLO agent)
Source primaire — publiée par la partie qui a fait la chose, ou par l'autorité de référence. Aucune contresignature nécessaire.