veri-sure-contract-aware-multi-agent-framework

使用基于契约的多智能体工作流生成功能正确的RTL/Verilog代码，并辅以形式化验证。触发条件包括：“生成Verilog模块”、“编写带验证的RTL”、“设计带形式化证明的硬件”、“创建已验证的Verilog”、“基于契约的RTL生成”、“通过依赖切片修复Verilog”。

模型生成摘要（rules/v1 · 2026-11-13 06:48）：使用基于契约的多智能体工作流生成功能正确的RTL/Verilog代码，并辅以形式化验证
这是模型对公开材料的总结，不是官方声明，请以原链内容为准。

存档时间线

版本	存档时间	内容哈希	内容
v1	2026-11-13 06:47	010f46da	可取

版本索引永久保留；内容副本只保留最新 1 份，更早版本仅留索引与哈希（存档时间线的证据链不会因此断裂）。

纠错与举报（发现条目失效、署名有误或涉及侵权？）

提交举报 / 纠错

侵权举报经核验成立后，我们会即时下线该条目并删除已存的内容副本。