📋 下载信息如上所示 📱 积分兑换即可
🔐 1.关注公众号，领取解压密码
⚡ 2.链接问题请反馈，当天响应
📱 扫码关注 · 获取解压密码
电子设计自动化领域的形式化验证软件，用于RTL与网表的功能正确性证明、断言检查及等价性验证
- 形式化属性验证与断言检查
- 等价性检查与逻辑锥比对
- 覆盖率分析与验证收敛调试
当前版本：24.03.000
© 版权声明
本站资源内容均来自互联网,本站只是搬运工，版权归原作者所有，如有侵权配合处理。
THE END
暂无评论内容