申请/专利权人：山东启芯软件科技有限公司

申请日：2022-08-31

公开（公告）日：2022-12-02

公开（公告）号：CN115422863A

主分类号：G06F30/33

分类号：G06F30/33;G06F30/327

优先权：

专利状态码：有效-授权

法律状态：2023.10.10#授权;2022.12.20#实质审查的生效;2022.12.02#公开

摘要：本发明属于芯片验证的技术领域，公开一种嵌入式的逻辑优化验证流程框架及验证方法，包括：逻辑优化框架和验证框架；在所述逻辑优化框架中包括：保存逻辑优化前网表数据节点、保存逻辑优化后网表数据节点、标记优化关键点的节点；还包括所述优化前网表数据节点、优化后网表数据节点和优化关键点在并联后作为所述验证框架的输入。本发明按照上述流程，既完成了逻辑优化的操作，又高效的验证了优化操作的正确性，同时在出现问题时能够输出问题的关键点，以方便查找并确定问题原因，整个框架并不限定拓扑排序的方法，不限定功能对比数据的方式方法，强调整个逻辑优化及验证框架的创新。

主权项：1.一种嵌入式的逻辑优化验证流程框架，其特征在于，包括：逻辑优化框架和验证框架；在所述逻辑优化框架中包括：保存逻辑优化前网表数据节点、保存逻辑优化后网表数据节点、标记优化关键点的节点；还包括所述优化前网表数据节点、优化后网表数据节点和优化关键点在并联后作为所述验证框架的输入；所述验证框架包括：优化关键点拓扑排序模块、优化前后数据对比模块；所述优化关键点拓扑排序模块，用于按照逻辑连接关系，使距离逻辑优化框架的输入端口近的优化关键点靠前，距离输入端口远的优化关键点靠后的排序规则，排序完成后将排序结果存储在顺序容器中；所述优化前后数据对比模块，用于按照所述排序规则依次取出优化关键点，基于优化前网表和优化后网表分别构建每个优化关键点对应功能的对比数据，根据数据对比结果执行：当对比数据一致时：进一步判断是否对所有优化关键点进行了对比，如全部对比完成，则清除所有优化关键点标记，本轮优化完成，直接退出；如未全部对比完成，则返回继续按照所述排序规则依次取出优化关键点进行对比，直至对所有优化关键点对比完成；当对比数据不一致时：输出优化关键点名称、输出对比数据信息，结束退出。

全文数据：

权利要求：

百度查询： 山东启芯软件科技有限公司 一种嵌入式的逻辑优化验证流程框架及验证方法

免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。

阅读全文 双屏查看 官方信息 专利公告 收藏专利 下载PDF 下载WORD