Verilog Verification Agent
模型生成 DUT，独立的确定性 testbench 验证七类固定电路，最多修复三次。
v0.1.0-alpha · 验证原型
Python · Icarus Verilog
关注什么
独立 Oracle · 仿真反馈 · 审计报告
实现范围
限定七种电路语义，未实现形式化验证或通用 EDA 流程。
Back
模型生成 DUT，独立的确定性 testbench 验证七类固定电路，最多修复三次。
v0.1.0-alpha · 验证原型
Python · Icarus Verilog
独立 Oracle · 仿真反馈 · 审计报告
限定七种电路语义，未实现形式化验证或通用 EDA 流程。