一种嵌入式的逻辑优化验证流程框架及验证方法技术

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

【技术实现步骤摘要】
一种嵌入式的逻辑优化验证流程框架及验证方法


[0001]本专利技术公开一种嵌入式的逻辑优化验证流程框架及验证方法，属于芯片验证的


技术介绍

[0002]在芯片设计的
，逻辑优化是逻辑综合、逻辑仿真、形式验证等工具研发流程中的重要步骤，根据优化的方向和目标，实现对用户设计综合结果的改进，以满足用户的综合要求。逻辑优化分为组合逻辑优化、存储器优化、数据通路优化等，每种优化又可以细分为常数优化、表达式优化、功耗优化、面积优化等等。
[0003]对于上述逻辑优化中的每一个优化，都需要对优化前后的设计进行验证，保证优化的正确执行，验证方式分为逻辑仿真、形式验证两种，现有的逻辑验证工具有仿真工具和形式验证工具，如Synopsys的Vcs工具、Cadence的Lec工具等，其都需要逻辑优化流程将优化前后的设计以verilog形式输出到文件，并将输出的文件作为Vcs或Lec等验证工具的输入，通过检查验证工具的输出结果判断逻辑优化是否是正确的。
[0004]现有技术中，所述验证的框架分别介绍如下：
[0005]首先是逻辑仿本文档来自技高网...

【技术保护点】

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

【专利技术属性】
技术研发人员：刘奎，唐兴达，
申请(专利权)人：山东启芯软件科技有限公司，
类型：发明
国别省市：