一种DC综合与Formality形式化验证协同的方法及系统技术方案

本发明专利技术提供了一种DC综合与Formality形式化验证协同的方法及系统，综合和等价性验证的关键性指标提取出来作为动作执行的条件，在流程中运行shell控制脚本，综合完成后交由控制脚本来决定是否同时启动等价性验证，启动等价性验证后，若出现错误，控制脚本根据等价性验证的结果来判断是否需要重新进行综合。本发明专利技术的是灵活多变的，可以在shell控制脚本中设置各种各样的条件，进行综合和等价性验证，选用不同的综合策略，本发明专利技术加快设计进度，迭代时更加方便，同时也可以减少工作人员的操作的技术。

A method and system for collaboration between DC synthesis and Formality formalized verification

【技术实现步骤摘要】
一种DC综合与Formality形式化验证协同的方法及系统
本专利技术涉及集成电路的
，具体涉及一种DC综合与Formality形式化验证协同的方法及系统。
技术介绍
随着技术的发展，对芯片功能的完备性、稳定性以及高性能提出了更高的要求，导致芯片的规模、逻辑复杂度与日俱增，同时，市场对时效性的要求，无形中对芯片整个设计流程开发的时间做了很高的限制，从而在流程中各个环节需要尽一切可能的缩短研发时间。综合作为前后端衔接的桥梁，确保综合工作的正确性也就变得很重要。综合和等价性验证作为芯片研发中两个前后密切联系的流程，一般是由不同的研发人员负责，以实现交叉验证，最大可能的发现潜在的问题，人员的沟通、代码版本、综合后网表也就需要各负责人员不断的沟通，一旦不能实现自动化，沟通不畅引起将引起工作返工在加上这两项工作本身需要花费大量时间以及每个版本的迭代，严重影响着项目的进度。鉴于此种情况，本领域亟需一种可以加快设计进度，迭代时更加方便，同时也可以减少工作人员的操作的技术。
技术实现思路
基于上述问题，本专利技术提出了一种DC综合与Formality形式化验证协同的方法及系统。本专利技术提供如下技本文档来自技高网...

【技术保护点】
一种DC综合与Formality形式化验证协同的方法，其特征在于：步骤101，初始化综合环境、等价性验证环境以及控制脚本参数；步骤102，根据芯片规模和复杂度，选取综合策略，根据所述综合策略配置综合环境，并搭建出与综合环境在模块逻辑层次上相同的等价性验证环境，记录运行日志和结果信息；步骤103，配置控制脚本，包括综合时序、面积、功耗，等价性验证指标的设置；步骤104，运行控制脚本，综合完成后，所述控制脚本决定是否同时启动等价性验证，且启动等价性验证后，若出现错误，则所述控制脚本根据等价性验证的结果来判断是否需要重新进行综合。

【技术特征摘要】
1.一种DC综合与Formality形式化验证协同的方法，其特征在于：步骤101，初始化综合环境、等价性验证环境以及控制脚本参数；步骤102，根据芯片规模和复杂度，选取综合策略，根据所述综合策略配置综合环境，并搭建出与综合环境在模块逻辑层次上相同的等价性验证环境，记录运行日志和结果信息；步骤103，配置控制脚本，包括综合时序、面积、功耗，等价性验证指标的设置；步骤104，运行控制脚本，综合完成后，所述控制脚本决定是否同时启动等价性验证，且启动等价性验证后，若出现错误，则所述控制脚本根据等价性验证的结果来判断是否需要重新进行综合。2.根据权利要求1所述的方法，其特征在于：所述综合策略包括自顶向下和/或自底向上。3.根据权利要求1所述的方法，其特征在于：所述等价性验证指标包括Success、Failed、unmatch、unverify。4.根据权利要求1所述的方法，其特征在于：所述出现错误包括svf文件错误和/或reject的命令。5.根据权利要求1所述的方法，其特征在于：所述出现错误后，将失败点提交显示。6.一种DC综合...

【专利技术属性】
技术研发人员：张永照，童元满，
申请(专利权)人：郑州云海信息技术有限公司，
类型：发明
国别省市：河南,41