Les auteurs comparent l’effet de la représentation de sortie sur la génération par modèle de langage de code RTL pour le matériel. La tâche délimitée consiste à produire des wrappers mémoire SECDED vérifiables formellement.

Le préprint soutient que le choix de représentation peut compter davantage que le régime d’entraînement pour cette tâche. Ses conclusions portent sur le dispositif étudié et ne démontrent pas une conception autonome générale de puces.