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

Senol Gulgonul

Converting a SPICE netlist into a human-readable schematic is a longstanding problem in electronic design automation: simulators and machine-learning pipelines readily produce netl…