silica-eda

Silica is an MCP server that gives coding agents structured access to an EDA toolchain. The agent lints, simulates, formally proves, synthesizes, places and routes, programs a board, and reads its UART through MCP tools, and gets parsed results back (errors with file and line, timing per clock, utilization, inferred memories, counterexample traces) instead of raw logs. A doctor tool reports which EDA tools are installed and how to install the rest.

Silica drives tools the user installs: open-source tools, mostly from the OSS CAD Suite, and commercial ones (VCS, Questa, Xcelium, Vivado, and others) when they are on PATH. The README states the full flow has been run end to end on a Digilent Arty A7-100T with a PicoRV32 RISC-V SoC: Verilator, Verible and svlint for lint; Icarus and Verilator simulation with waveform and coverage; SymbiYosys formal prove, cover and bounded checks plus eqy equivalence; Yosys synth_xilinx; nextpnr-xilinx place and route at a 100 MHz target routed at 153 MHz; programming with openFPGALoader; and a serial check over UART.

The server also tells the agent the order to work in and the pitfalls to avoid, so the loop (run the simulation, read the failure, fix the RTL, re-run) closes without copy-paste. Mock-free operation needs the underlying tools installed; the README lists how well each supported tool is tested.