Armory
Source
Browse
MCPs

vlsi-formal-verification-mcp-server

Enables LLMs to interact with hardware designs (Verilog/SystemVerilog), formal verification tools, waveform logs, protocol specifications, and bug databases through 34 structured tools.

Score
Unranked
Evidence
No signals yet
Last commit
as last read from GitHub; most reads are from 2 Sep 2026 or later
Listed

Install

No one-command install. Set it up from its source.

Alternatives · MCPs

  1. jiegec-waveform47 stars · 6 forks83.715
  2. ariklapid-pyslang20 stars · 3 forks74.139
  3. pyslang-mcp20 stars · 3 forks74.139

What it is

Enables LLMs to interact with hardware designs (Verilog/SystemVerilog), formal verification tools, waveform logs, protocol specifications, and bug databases through 34 structured tools.

When to use it

Enables LLMs to interact with hardware designs (Verilog/SystemVerilog), formal verification tools, waveform logs, protocol specifications, and bug databases through 34 structured tools.

How to install / invoke

See Glama for the install config.

Notes

Listed from the Glama MCP registry.