Weave: Verified Netlist-to-Schematic Conversion via Layered Graph Layout

Résumé Technique : Weave – Conversion de Netlist vers Schéma Vérifiée via un Agencement de Graphe en Couches

Énoncé du Problème
Dans l'automatisation de la conception électronique (EDA), la netlist SPICE sert de langage standard pour la simulation de circuits, mais elle n'est pas le support principal du raisonnement technique humain. Les concepteurs s'appuient sur des schémas pour comprendre la structure, suivre le flux de signaux et déboguer les comportements. Alors que les méthodes d'apprentissage automatique génèrent de plus en plus de circuits directement sous forme de netlists, un goulot d'étranglement émerge : convertir ces netlists produites par machine en diagrammes lisibles et précis. Les approches basées sur l'apprentissage existantes (par exemple, Schemato) traduisent les netlists en schémas de manière probabiliste. Cependant, ces méthodes souffrent de deux limitations critiques : leur précision se dégrade fortement à mesure que la complexité du circuit augmente (spécifiquement au-delà de cinq composants), et elles n'offrent aucune garantie de correction, s'appuyant sur des scores de similitude continus (comme la distance d'édition de graphe) plutôt que sur une vérification binaire de la connectivité.

Méthodologie
Weave répond à ces problèmes par un pipeline déterministe, axé sur la vérification, qui convertit les netlists SPICE en fichiers de schémas LTspice .asc. Le processus se compose des étapes suivantes :

1. Analyse et Classification des Nets : Le système analyse les éléments SPICE standards (passifs, composants actifs, sous-circuits, etc.). Les nets sont classés comme masse (ground), rails d'alimentation ou signaux. Les nets de masse et de rails sont traités comme des drapeaux (connexions locales) plutôt que comme des fils dessinés afin de maintenir la lisibilité, tandis que seuls les nets de signaux entrent dans le graphe de mise en page.
2. Agencement en Couches (Layered Layout) : Les composants de signal sont mappés sur des nœuds d'un graphe traité par elkjs, une implémentation du framework Sugiyama. Ce moteur réalise un agencement de gauche à droite par couches avec un routage orthogonal. La taille des nœuds tient compte des corps de symboles et des sorties de broches (pin escapes), en s'alignant sur la grille de 16 unités de LTspice.
3. Modèles de Placement : Des structures spécifiques qui dégradent la chaîne de signal principale (par exemple, boucles de rétroaction locales/éloignées, branches de diviseurs, shunts, coins d'alimentation) sont gérées via des modèles de placement explicites plutôt que par le graphe général. Ces modèles placent les éléments par rapport aux nœuds existants et émettent des connexions directement étiquetées par net.
4. Gestion des Symboles : Weave intègre une table de broches pour 5 093 symboles LTspice. Si une netlist fait référence à une pièce présentant un décalage du nombre de broches ou une pièce inconnue, le système la substitue par un bloc rectangulaire synthétique dimensionné selon le nombre de broches. Bien que le glyphe soit générique, la connectivité et le nom restent exacts, garantissant que le schéma se compile et passe la vérification.
5. Vérification Aller-Retour (Round-Trip Verification) : C'est le cœur de la revendication de correction du système. Chaque fichier .asc généré est réanalysé en une netlist. Les partitions de connectivité de cette netlist régénérée sont comparées, net par net, contre la netlist d'entrée originale. Un résultat est déclaré correct uniquement si les partitions sont identiques.
6. Échelle de Mode Sécurisé (Safe-Mode Ladder) : Si l'agencement par défaut échoue à la vérification, Weave tente de manière itérative des tentatives avec des modes progressivement plus simples (en désactivant les modèles de placement, en revenant à un agencement pur elkjs, ou en élargissant l'espacement des canaux). Il conserve le premier résultat qui passe la vérification, garantissant ainsi que tout résultat rapporté est parfaitement conforme en termes de connectivité, même s'il est visuellement moins compact.

Contributions Clés
Le papier présente trois contributions principales :

1. Un Pipeline Déterministe Axé sur la Vérification : Contrairement aux méthodes basées sur l'apprentissage, Weave réhabilite l'approche classique d'agencement par flux de couches en utilisant un moteur de graphe industriel moderne (elkjs) combiné à des modèles de placement spécifiques. Cela ne nécessite aucun entraînement, aucun GPU et aucun échantillonnage probabiliste.
2. Vérification de Connectivité Aller-Retour : Le système fournit un certificat de correction binaire. Au lieu d'un score de similitude, il garantit que le schéma généré préserve exactement la connectivité originale (équivalent à une distance d'édition de graphe de 1,0). À la connaissance des auteurs, aucune méthode de netlist-vers-schéma ne certifie la connectivité de cette manière.
3. Une Échelle de Mode Sécurisé : Ce mécanisme garantit que le système ne produit jamais un schéma "faux". Si un agencement complexe échoue à la vérification, le système dégrade gracieusement vers des agencements plus simples jusqu'à ce qu'une correspondance vérifiée soit trouvée.

Résultats
Les auteurs ont évalué Weave sur deux ensembles de données :

• Benchmark Circuits-LTSpice : Sur l'ensemble de test de 117 circuits identique utilisé par le convertisseur par LLM de pointe, Schemato, Weave a atteint 100 % de compilation et 100 % d'équivalence de connectivité vérifiée par aller-retour. En revanche, Schemato a rapporté 76 % de compilation et une similitude de distance d'édition de graphe de 0,35. Notamment, 73 % des circuits de cet ensemble dépassaient le seuil de cinq composants où Schemato perdrait rapporté la précision de connectivité.
• Grand Corpus (Collection de démos Analog Devices LTspice) : Sur un corpus plus large et plus dense de 3 460 circuits listables en netlist (moyenne de 14,4 éléments, maximum de 138), Weave a vérifié la connectivité exacte pour 88,4 % des circuits. Les échecs restants étaient concentrés dans une classe spécifique de modules d'alimentation multi-broches denses, et les erreurs de conversion étaient principalement dues à des symboles absents de la bibliothèque installée (pièces plus récentes que la version de LTspice utilisée).

Signification et Revendications
L'article soutient que pour qu'un convertisseur soit utile dans un flux de travail d'ingénierie, la correction de la connectivité doit être garantie par construction et vérifiée, plutôt qu'approximée et scorée. Les auteurs positionnent Weave non pas comme un concurrent de l'optimisation esthétique (que les méthodes basées sur l'apprentissage privilégient), mais comme un "primitif plus fort" qui garantit que le schéma est juste avant qu'il ne soit beau.

La signification réside dans le passage d'une génération probabiliste avec des métriques de similitude à une construction déterministe avec une vérification binaire. Les auteurs affirment que tandis que les modèles d'apprentissage peinent face à l'échelle et à la rareté des données, Weave contourne ces problèmes grâce à une table de symboles déterministe et un repli sur un bloc générique. L'article conclut que la "correction par construction avec vérification" est non seulement réalisable, mais aussi nettement supérieure à l'approximation apprise pour la conversion de netlist en schéma, fournissant un outil fiable pour intégrer les experts du domaine dans les boucles de conception automatisées. Les travaux futurs identifiés visent à traiter les modules multi-broches denses et les topologies de cascade profonde par des agencements de type "box-contract" et une génération hiérarchique.