RTLRepairBench : le piège du reset dans les tests RTL

Le centre de gravité · Oct 22, 2026 · 7m

Pourquoi 39 correctifs RTL prouvés équivalents par méthode formelle échouent-ils pourtant en simulation ? En disséquant les 459 cas de RTLRepairBench, une étude révèle comment le traitement du premier cycle autour du reset fausse les verdicts. Sauter la première comparaison suffit même à inverser le contraste descriptif lié à la présence d'une spécification de -11,4 à +7,6 points.

#secteurs #meta-evergreen #rtl #hardware #verification