EpicFv的架构主要分为形式验证前端和形式验证后端两部分。通过对用户的RTL设计和SVA断言检查进行词法语法分析,详尽解析和逻辑综合,获得形式验证内部的数据模型。然后通过任务分配器将验证目标分发给不同求解器进行求解,从而达到验证的目标。
此处可能存在不合适展示的内容,页面不予展示。您可通过相关编辑功能自查并修改。
如您确认内容无涉及 不当用语 / 纯广告导流 / 暴力 / 低俗色情 / 侵权 / 盗版 / 虚假 / 无价值内容或违法国家有关法律法规的内容,可点击提交进行申诉,我们将尽快为您处理。
1. 开源生态
2. 协作、人、软件
3. 评估模型