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

Resumen Técnico: Weave – Conversión de Netlist a Esquema Verificada mediante Diseño de Grafos por Capas

Declaración del Problema
En el Diseño Electrónico Automatizado (EDA), la netlist de SPICE sirve como el lenguaje estándar para la simulación de circuitos, pero no es el medio principal para el razonamiento de ingeniería humana. Los diseñadores dependen de los esquemas para comprender la estructura, rastrear el flujo de señales y depurar el comportamiento. A medida que los métodos de aprendizaje automático generan circuitos directamente como netlists, surge un cuello de botella: convertir estas netlists producidas por máquinas de nuevo en diagramas legibles y precisos. Los enfoques basados en el aprendizaje existentes (por ejemplo, Schemato) traducen netlists en esquemas de forma probabilística. Sin embargo, estos métodos sufren dos limitaciones críticas: su precisión disminuye drásticamente a medida que aumenta la complejidad del circuito (específicamente más allá de cinco componentes) y no ofrecen ninguna garantía de corrección, basándose en lugar de ello en puntuaciones de similitud continua (como la Distancia de Edición de Grafos) en vez de una verificación binaria de conectividad.

Metodología
Weave aborda estos problemas a través de un pipeline determinista y de verificación primero que convierte las netlists de SPICE en archivos de esquemas .asc de LTspice. El proceso consta de las siguientes etapas:

1. Análisis y Clasificación de Nets: El sistema analiza los elementos estándar de SPICE (pasivos, dispositivos activos, subcircuitos, etc.). Las nets se clasifican como tierra (ground), rieles de alimentación (supply rails) o señales. Las nets de tierra y de riel se tratan como banderas (conexiones locales) en lugar de cables dibujados para mantener la legibilidad, mientras que solo las nets de señal entran en el grafo de diseño.
2. Diseño por Capas (Layered Layout): Los componentes de señal se mapean a nodos de un grafo procesado por elkjs, una implementación del marco de trabajo Sugiyama. Este motor realiza un diseño por capas de izquierda a derecha con enrutamiento ortogonal. El tamaño de los nodos tiene en cuenta los cuerpos de los símbolos y las salidas de los pines (pin escapes), ajustándose a la rejilla de 16 unidades de LTspice.
3. Patrones de Colocación: Las estructuras específicas que degradan la cadena de señal principal (por ejemplo, bucles de retroalimentación locales/lejanos, patas de divisor, derivaciones, esquinas de alimentación) se gestionan mediante patrones de colocación explícitos en lugar del grafo general. Estos patrones colocan los elementos en relación con los nodos existentes y emiten conexiones directas etiquetadas por net.
4. Gestión de Símbolos: Weave incorpora una tabla de pines para 5,093 símbolos de LTspice. Si una netlist hace referencia a una pieza con un desajuste en el recuento de pines o una pieza desconocida, el sistema la sustituye por un bloque rectangular sintético dimensionado según el recuento de pines. Aunque el glifo es genérico, la conectividad y el nombre son exactos, lo que garantiza que el esquema compile y pase la verificación.
5. Verificación de Doble Viaje (Round-Trip Verification): Este es el núcleo de la afirmación de corrección del sistema. Cada archivo .asc generado se vuelve a analizar para generar una nueva netlist. Las particiones de conectividad de esta netlist regenerada se comparan, net por net, contra la entrada original. El resultado se reporta como correcto solo si las particiones son idénticas.
6. Escalera de Modo Seguro (Safe-Mode Ladder): Si el diseño por defecto falla la verificación, Weave intenta iterativamente con modos progresivamente más simples (deshabilitando patrones de colocación, recurriendo a un diseño puro de elkjs, o ensanchando el espaciado de los canales). Retiene el primer resultado que pase el verificador, asegurando que cualquier salida reportada sea de conectividad perfecta, incluso si es visualmente menos compacta.

Contribuciones Clave
El artículo presenta tres contribuciones primarias:

1. Un Pipeline Determinista de Verificación Primero: A diferencia de los métodos basados en el aprendizaje, Weave revive el enfoque clásico de diseño de flujo por capas utilizando un motor de grafos industrial moderno (elkjs) combinado con patrones de colocación específicos. No requiere entrenamiento, ni GPU, ni muestreo probabilístico.
2. Verificación de Conectividad de Doble Viaje: El sistema proporciona un certificado de corrección binaria. En lugar de una puntuación de similitud, garantiza que el esquema generado preserve la conectividad original exactamente (equivalente a una Distancia de Edición de Grafos de 1.0). Según el conocimiento de los autores, ningún método previo de netlist-a-esquema certifica la conectividad de esta manera.
3. Una Escalera de Modo Seguro: Este mecanismo asegura que el sistema nunca produzca un esquema "incorrecto". Si un diseño complejo falla la verificación, el sistema degrada el proceso hacia diseños más simples hasta encontrar una coincidencia verificada.

Resultados
Los autores evaluaron Weave en dos conjuntos de datos:

• Benchmark de Circuitos-LTSpice: En el conjunto de prueba de 117 circuitos idéntico al utilizado por el conversor de lenguaje de gran modelo (LLM) Schemato, Weave logró un 100% de compilación y un 100% de equivalencia de conectividad verificada de doble viaje. En contraste, Schemato reportó un 76% de compilación y una similitud de Distancia de Edición de Grafos de 0.35. Notablemente, el 73% de los circuitos en este conjunto excedían el umbral de cinco componentes donde Schemato supuestamente pierde la precisión de conectividad.
• Gran Corpus (Colección de Demostración de Analog Devices LTspice): En un corpus más grande y denso de 3,460 circuitos con capacidad de netlist (media de 14.4 elementos, máximo de 138), Weave verificó la conectividad exacta para el 88.4% de los circuitos. Los fallos restantes se concentraron en una clase específica de módulos de potencia de múltiples pines densos; los errores de conversión se debieron principalmente a símbolos ausentes en la librería instalada (piezas más nuevas que la versión de LTspice utilizada).

Significado y Reivindicaciones
El artículo argumenta que, para que un conversor sea útil en un flujo de trabajo de ingeniería, la corrección de la conectividad debe estar garantizada por construcción y verificada, en lugar de ser aproximada y puntuada. Los autores posicionan a Weave no como un competidor en la optimización estética (que es lo que enfatizan los métodos basados en el aprendizaje), sino como un "primitivo más fuerte" que asegura que el esquema sea correcto antes de que sea atractivo.

La significancia radica en el cambio de paradigma de la generación probabilística con métricas de similitud hacia la construcción determinista con verificación binaria. Los autores afirman que, mientras los modelos basados en el aprendizaje luchan con la escala y la escasez de datos, Weave evita estos problemas mediante una tabla de símbolos determinista y un fallback de bloque genérico. El artículo concluye que la "corrección por construcción con verificación" es tanto alcanzable como decisivamente más fuerte que la aproximación aprendida para la conversión de netlist a esquema, proporcionando una herramienta fiable para integrar expertos de dominio en los bucles de diseño automatizados. Se identifica como trabajo futuro el abordar los módulos de múltiples pines densos y las topologías de cascada profunda mediante diseños de caja contraída (box-contract) y generación jerárquica.