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

Sintesi Tecnica: Weave – Conversione Verificata da Netlist a Schema tramite Layout a Grafi Stratificati

Problematica
Nell'Automazione del Design Elettronico (EDA), la netlist SPICE funge da linguaggio standard per la simulazione dei circuiti, ma non è il mezzo primario per il ragionamento ingegneristico umano. I progettisti si affidano agli schemi per comprendere la struttura, tracciare il flusso del segnale e diagnosticare i comportamenti. Poiché i metodi basati sull'apprendimento automatico generano sempre più circuiti direttamente sotto forma di netlist, emerge un collo di bottiglia: convertire queste netlist prodotte dalle macchine in diagrammi leggibili e accurati. Gli approcci esistenti basati sull'apprendimento (ad esempio, Schemato) traducono le netlist in schemi in modo probabilistico. Tuttavia, questi metodi soffrono di due criticità fondamentali: la loro accuratezza degrada drasticamente all'aumentare della complessità del circuito (specificamente oltre i cinque componenti) e non offrono alcuna garanzia di correttezza, affidandosi invece a punteggi di somiglianza continui (come la Graph Edit Distance) anziché alla verifica binaria della connettività.

Metodologia
Weave affronta questi problemi attraverso una pipeline deterministica, orientata alla verifica, che converte le netlist SPICE in file di schema .asc per LTspice. Il processo si compone delle seguenti fasi:

1. Parsing e Classificazione delle Net: Il sistema analizza gli elementi SPICE standard (passivi, dispositivi attivi, sottocircuiti, ecc.). Le net vengono classificate come massa (ground), linee di alimentazione (supply rails) o segnali. Le net di massa e di alimentazione sono trattate come flag (connessioni locali) piuttosto che come fili disegnati per mantenere la leggibilità, mentre solo le net di segnale entrano nel grafo del layout.
2. Layout Stratificato: I componenti di segnale sono mappati su nodi di un grafo elaborato da elkjs, un'implementaizone del framework Sugiyama. Questo motore esegue un layout stratificato da sinistra a destra con routing ortogonale. Le dimensioni dei nodi tengono conto dei corpi dei simboli e delle uscite dei pin, agganciandosi alla griglia a 16 unità di LTspice.
3. Pattern di Posizionamento: Strutture specifiche che degradano la catena di segnale principale (ad esempio, loop di feedback locali o remoti, gamb di partitore, shunt, angoli di alimentazione) sono gestite tramite pattern di posizionamento espliciti anziché tramite il grafo generale. Questi pattern posizionano gli elementi rispetto ai nodi esistenti ed emettono connessioni dirette con il relativo tag della net.
4. Gestione dei Simboli: Weave incorpora una tabella dei pin per 5.093 simboli LTspice. Se una netlist fa riferimento a un componente con un disallineamento nel numero di pin o un componente sconosciuto, il sistema sostituisce l'elemento con un blocco rettangolare sintetico dimensionato in base al numero di pin. Sebbene il glifo sia generico, la connettività e il nome rimangono esatti, garantendo che lo schema sia compilabile e superi la verifica.
5. Verifica Round-Trip: Questo è il cuore della rivendicazione di correttezza del sistema. Ogni file .asc generato viene ri-analizzato in una netlist. Le partizioni di connettività di questa netlist rigenerata vengono confrontate, net per net, con l'input originale. Un risultato è riportato come corretto solo se le partizioni sono identiche.
6. Scala di Modalità di Sicurezza (Safe-Mode Ladder): Se il layout predefinito fallisce la verifica, Weave tenta iterativamente nuovi tentativi con modalità progressivamente più semplici (disabilitando i pattern di posizionamento, tornando a un layout puro elkjs o allargando la spaziatura dei canali). Il sistema conserva il primo risultato che supera la verifica, garantendo che qualsiasi output riportato sia perfettamente corretto dal punto di vista della connettività, anche se visivamente meno compatto.

Contributi Principali
Il documento presenta tre contributi primari:

1. Una Pipeline Deterministica Orientata alla Verifica: A differenza dei metodi basati sull'apprendimento, Weave riabilita l'approccio classico del layout a flusso stratificato utilizzando un moderno motore grafico industriale (elkjs) combinato con specifici pattern di posizionamento. Non richiede addestramento, né GPU, né campionamento probabilistico.
2. Verifica della Connettività Round-Trip: Il sistema fornisce un certificato di correttezza binaria. Invece di un punteggio di somiglianza, garantisce che lo schema generato preservi esattamente la connettività originale (equivalente a una Graph Edit Distance di 1.0). Per quanto ne sappiano gli autori, nessun metodo precedente di conversione netlist-schema certifica la connettività in questo modo.
3. Una Scala di Modalità di Sicurezza: Questo meccanismo assicura che il sistema non produca mai uno schema "sbagliato". Se un layout complesso fallisce la verifica, il sistema degrada con grazia verso layout più semplici finché non viene trovato un match verificato.

Risultati
Gli autori hanno valutato Weave su due dataset:

• Benchmark Circuits-LTSpice: Sul medesimo set di test di 117 circuiti utilizzato dal convertitore basato su LLM all'avanguardia, Schemato, Weave ha raggiunto il 100% di compilazione e il 100% di equivalenza di connettività verificata round-trip. Al contrario, Schemato ha riportato una compilazione del 76% e una somiglianza di Graph Edit Distance di 0,35. Significativamente, il 73% dei circuiti in questo set superava la soglia dei cinque componenti dove Schemato riporta di perdere l'accuratezza della connettività.
• Corpus Ampio (Analog Devices LTspice Demo Collection): Su un corpus più grande e denso di 3.460 circuiti netlistabili (media 14,4 elementi, massimo 138), Weave ha verificato la connettività esatta per l'88,4% dei circuiti. I fallimenti rimanenti erano concentrati in una specifica classe di moduli di potenza multi-pin densi, e gli errori di conversione erano dovuti principalmente a simboli assenti dalla libreria installata (parti più recenti della versione di LTspice utilizzata).

Significatività e Rivendicazioni
Il documento sostiene che, affinché un convertitore sia utile in un flusso di lavoro ingegneristico, la correttezza della connettività debba essere garantita per costruzione e verificata, piuttosto che approssimata e valutata. Gli autori posizionano Weave non come un competitore nell'ottimizzazione estetica (su cui si concentrano i metodi basati sull'apprendimento), ma come un "primitivo più forte" che assicura che lo schema sia corretto prima che sia bello.

La significatività risiede nello spostamento del paradigma dalla generazione probabilistica con metriche di somiglianza alla costruzione deterministica con verifica binaria. Gli autori affermano che, mentre i modelli basati sull'apprendimento faticano con la scala e la scarsità di dati, Weave elude questi problemi attraverso una tabella dei simboli deterministica e un fallback a blocchi generici. Il documento conclude che la "correttezza per costruzione con verifica" è sia realizzabile che decisamente superiore all'approssimazione appresa per la conversione netlist-schema, fornendo uno strumento affidabile per integrare gli esperti di dominio nei cicli di progettazione automatizzati. Il lavoro futuro è identificato nella gestione dei moduli multi-pin densi e delle topologie a cascata profonda attraverso layout a scatole contraibili (box-contract) e generazione gerarchica.