Gitee 推荐 | 开源形式验证工具 EpicFV

EpicFv 可以在用户输入 RTL 设计和 SystemVerilog 断言来描述设计规范时自动执行语法分析，设计综合和断言分析，并自动调度引擎来解决断言。基于分布式计算理论的加速验证。通过基于分布式计算理论自动调度引擎以解决断言并加速验证收敛，这降低了使用形式验证工具的门槛。

Gitee 推荐 | 开源形式验证工具 EpicFV

暂无更多评论

回复 @
{{ emoji.type }}
{{emojiItem.symbol}}
热门资讯
WSL 正式开源
白开水不加糖 · 05/20 10:16
8 评论
华为发布两款鸿蒙电脑，售价 7999 元起
白开水不加糖 · 05/19 16:56
32 评论
雷军：小米玄戒 O1，3nm 旗舰处理器，力争跻身第一梯队旗舰体验
白开水不加糖 · 05/19 11:29
59 评论
IntelliJ IDEA 官方文档中文版上线
局 · 05/19 18:42
4 评论
高通回应小米自研芯片
白开水不加糖 · 05/20 14:17
6 评论
Spring AI 1.0 GA 发布
白开水不加糖 · 05/21 16:36
4 评论
红帽发布 Red Hat Enterprise Linux 10
局 · 05/21 11:08
7 评论
美团 AI 编程工具“NoCode”即将上线
白开水不加糖 · 05/20 14:50
0 评论
微软开源命令行文本编辑器 Edit
白开水不加糖 · 05/20 10:32
3 评论
通义千问 QwenChat 升级「网页开发」功能，支持一键部署 AI 生成网页
局 · 05/20 17:22
0 评论
删除一条评论

评论删除后，数据将无法恢复

取消
确定
返回顶部
顶部