本发明属于集成电路,具体涉及一种基于设计文件对比来获取eco点的方法。
背景技术:
1、在集成电路设计领域,业界主流提取eco点(即改版后的芯片设计和原始设计之间的差异点)方法是原始的netlist和改版后的netlist对比,或者原始的rtl(寄存器传输级)和改版后的rtl对比;随着技术的发展和设计复杂度的提高,业界也在不断探索新的、更高效的eco点提取方法,例如,一些先进的工具和方法可能利用形式验证技术来比较两个设计之间的等价性,或者通过机器学习和人工智能技术来自动化地识别和提取eco点。这些方法可以提高eco点提取的准确性和效率,进一步减少手动修改的工作量,并加速整个设计流程;不过,尽管有新的方法和技术不断涌现,原始的netlist对比和rtl对比仍然是业界主流的eco点提取方法。
2、这两种方法都要使用lec(logic equivalence checking)engine对两个输入文件进行全局对比,主流lec工具都是商业产品,传统方法用lec工具必须取得商业授权,存在成本高,安全性不可控的问题。
3、另外,netlist是芯片设计的底层表示,包含了大量的门级和逻辑级细节,对比两个netlist可能会产生大量的差异点,其中很多可能是非关键性的,导致工程师需要花费大量时间筛选和识别真正的eco点;且netlist对比主要关注逻辑结构和连接关系的差异,但往往无法反映高层的设计意图和功能,当面对复杂的设计更改时,仅依赖netlist对比可能难以准确理解更改的动机;而rtl虽然能够反映设计意图和功能,但相比于netlist,它可能隐藏了一些底层的实现细节,因此,rtl对比可能无法揭示某些在底层实现中引入的eco点,rtl更改通常需要经过详细的验证以确保其正确性和一致性,基于rtl对比提取eco点会引入额外的验证工作,耗时耗力,通常eco点的获取需要耗时几天时间,如果做到后面发现eco点有问题的话还要从头来一遍,又要耗时几天。
4、因此,寻找一种快速准确的eco获取方法是芯片设计中亟需解决的问题。
技术实现思路
1、本发明的目的在于提供一种基于设计文件对比来获取eco点的方法,用于芯片设计中改版设计与原始设计差异点eco的查找,通过原始gtech和改版后的gtech进行对比来获取eco点,采用这种方法无需商业lec工具的帮助,具体技术方案如下:
2、一种基于设计文件对比来获取eco点的方法,采用gtech文件进行对比。
3、进一步的,所述方法包括以下步骤:
4、步骤s1,找到原始设计对应的原版gtech文件和改版设计对应的改版gtech文件。
5、步骤s2,对比原版gtech文件和改版gtech文件,找到关键点信息。
6、步骤s3,根据所述关键点信息,对电路的元件组成和连接进行分析比对,找出差异点eco。
7、进一步的,所述步骤s2中,对比原版gtech文件和改版gtech文件是指:分别基于元件层面和逻辑层面进行对比,找到关键点信息。
8、基于元件层面,分析原版gtech文件和改版gtech文件的结构,分别找出原版gtech文件和改版gtech文件中包含的元件类型、数量和连接关系。
9、对比原版gtech文件和改版gtech文件中包含的各个元件的类型、数量和连接关系是否发生变化,若其中一项在原版gtech文件和改版gtech文件中表述不一致,则判定所述元件发生变化。
10、将发生变化的元件标记为关键点信息。
11、基于逻辑层面,对比原版gtech文件和改版gtech文件中实现的逻辑功能是否一致,将逻辑功能发生变化的部分标记为关键点信息。
12、进一步的,所述关键点信息至少包括:新增或删除的关键元件,参数变化影响时序或功耗的元件,以及逻辑功能发生变化的部分。
13、进一步的,所述对比原版gtech文件和改版gtech文件中包含的各个元件的类型、数量和连接关系是否发生变化具体为:
14、对比原版gtech文件和改版gtech文件中各个元件的类型是否相同,是否存在新增或删除的元件类型,或者是否有元件类型被替换。
15、对比原版gtech文件和改版gtech文件中相同类型元件的数量是否一致,任何数量的增减都被视为发生变化。
16、进一步的,所述步骤s3中,对电路的元件组成和连接进行分析比对是指:根据所述关键点信息对原始设计和改版设计的电路功能进行比较。
17、分析原始设计和改版设计的整体电路架构和功能描述。
18、对比原始设计和改版设计中各元件的连接关系和信号流。
19、检查是否有新增或删除的元件连接,以及是否存在连接关系的变更。
20、将存在差异的关键点信息标记为差异点eco。
21、进一步的,所述对比原版gtech文件和改版gtech文件中实现的逻辑功能是否一致是检验两个文件在功能上是否等效,至少包括信号流和接口兼容性。
22、所述信号流的检验是指检查信号在原版gtech文件和改版gtech文件中的流动路径是否一致,包括信号的传递、处理和输出。
23、所述接口兼容性的检验是指验证原版gtech文件和改版gtech文件中的接口是否兼容,以确保与其他模块的连接不会出现问题。
24、本发明与现有技术相比,其有益效果是:
25、本发明通过对比原始设计和改版设计的gtech文件,能够快速定位到设计更改的关键点,从而避免了对整个设计的全面分析,大大提高了设计效率;同时克服了现有提取eco点的方法必须依赖商业lec工具,成本高,不可控,且速度较慢的问题。
1.一种基于设计文件对比来获取eco点的方法,用于芯片设计中改版设计与原始设计差异点eco的查找,其特征在于,所述方法不使用lec工具,而是采用gtech文件进行对比;
2.根据权利要求1所述的一种基于设计文件对比来获取eco点的方法,其特征在于,所述步骤s2中,对比原版gtech文件和改版gtech文件是指:分别基于元件层面和逻辑层面进行对比,找到关键点信息;
3.根据权利要求2所述的一种基于设计文件对比来获取eco点的方法,其特征在于,所述关键点信息至少包括:新增或删除的关键元件,参数变化影响时序或功耗的元件,以及逻辑功能发生变化的部分。
4.根据权利要求3所述的一种基于设计文件对比来获取eco点的方法,其特征在于,所述对比原版gtech文件和改版gtech文件中包含的各个元件的类型、数量和连接关系是否发生变化具体为:
5.根据权利要求1或2所述的一种基于设计文件对比来获取eco点的方法,其特征在于,所述步骤s3中,对电路的元件组成和连接进行分析比对是指:根据所述关键点信息对原始设计和改版设计的电路功能进行比较;
6.根据权利要求4所述的一种基于设计文件对比来获取eco点的方法,其特征在于,所述对比原版gtech文件和改版gtech文件中实现的逻辑功能是否一致是检验两个文件在功能上是否等效,至少包括信号流和接口兼容性的检验;
