$ loading_
Enables LLMs to interact with hardware designs (Verilog/SystemVerilog), formal verification tools, waveform logs, protocol specifications, and bug databases through 34 structured tools.
复制安装指令，让 AI 自动完成配置 · 推荐新手
"VLSI Formal Verification MCP Server" 暂无可直接复制的安装信息，请查看页面文档或源码仓库。