RecodeX 重构消息,开发者bryancostanich在GitHub上开源了Verifrog,这是一个可由AI代理驱动的Verilog/SystemVerilog测试框架。该工具旨在让AI代理参与硬件设计验证流程,目前项目刚发布,尚无社区讨论。