pcbschemagen-constraint-guided-schematic-design

This skill enables Claude to generate complete PCB schematics from natural-language circuit descriptions by applying the PCBSchemaGen framework: a training-free, constraint-guided pipeline that produces executable SKiDL Python code, validates it against a knowledge graph encoding real IC datasheet constraints, and outputs KiCad-compatible netlist files. The technique replaces manual schematic entry with an LLM agent loop that reasons about pin-role semantics, topological correctness, and power/analog/digital signal domains in a single unified workflow.

When to Use

• When the user asks to generate a PCB schematic or circuit design from a textual specification (e.g., "design a buck converter with LM5146")
• When the user needs to produce KiCad netlists or SKiDL Python code for a circuit
• When the user wants to automate schematic entry for circuits involving specific IC components with known pin configurations
• When the user asks to validate an existing circuit netlist against IC datasheet constraints
• When the user wants to build a knowledge graph from IC datasheets to encode pin-role semantics and design rules
• When the user needs to set up an iterative LLM-driven code generation pipeline with domain-specific verification feedback
• When the user asks to convert component datasheets into structured constraint representations for automated design

Key Technique

PCBSchemaGen introduces a two-part architecture: (1) an LLM agent that generates executable SKiDL Python code from natural-language circuit specifications, and (2) a constraint-guided verification framework built on a knowledge graph (KG) derived from real IC datasheets. The KG is defined as a tuple KG = (C, R, A, Phi, I) where C is the set of component types, R is 36 pin-role types (power, ground, gate-drive, Kelvin-source, signal I/O, etc.), A maps components to their attributes, Phi encodes constraint functions, and I defines isolation boundaries. This compact representation compresses a typical 16k-token datasheet into ~300 tokens per component -- a 30-70x context reduction that makes RAG practical.

Verification works by constructing a bipartite graph G = (V_C union V_N, E) from the generated SKiDL code, where components and nets form disjoint vertex sets. Design rules are encoded as reference subgraph patterns. Checking correctness reduces to subgraph isomorphism via the VF2 algorithm: a design passes if and only if an injective mapping exists from every reference rule graph into the generated circuit graph. When verification fails, the system produces structured error feedback (error type, pin/net location, component values) that the LLM uses for self-correction in up to 3 retry iterations.

The prompting strategy combines in-context learning (ICL) with worked SKiDL examples, chain-of-thought (CoT) reasoning about circuit connectivity, and domain-specific prompt templates that inject KG constraints. Ablation studies show ICL is critical -- removing it collapses hard-task accuracy from 78% to 44%. The full pipeline achieves 86-88% Pass@1 across 23 benchmark tasks spanning digital, analog, and power domains, at ~37x the speed of human experts.