Alele496/bsv-specmate

Bluespec/BSV agent copilot via MCP. Pre-compile trap prediction, post-compile diagnosis, Bluesim simulation-failure knowledge, 4,569 bsc examples. Three intervention levels (silicon/wafer/tapeout). -47% coding time. Evolving toward a hardware dev runtime. | BSV 编码知识引擎 MCP:编译前避坑、编译后诊断、仿真失败知识、4,569 官方示例,三级干涉(silicon/wafer/tapeout),迈向硬件开发运行时。

3Stars on the repository
6Mods indexed here, across every type
18d agoLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown

advisor

01

Alele496/bsv-specmate

Agent

A project adviser for the BSV coding project. BSV is a hardware-description language, and this adviser reads project documents and discusses implementation direction without editing files.

3 18d ago A 0 tokens original MIT

bsv-coder

02

Alele496/bsv-specmate

Agent

A coding agent for BSV, a language for describing hardware circuits. It turns natural-language hardware requirements into BSV source code and a matching testbench.

3 18d ago A 0 tokens original MIT

bsv-reviewer

03

Alele496/bsv-specmate

Agent

A BSV code reviewer that checks hardware source files and reports problems without changing them. It can consult the BSV knowledge engine when it needs guidance.

3 18d ago A 0 tokens original MIT