一种基于位流还原的可编程集成电路应用算法侵权判定方法与流程

本发明涉及FPGA配置码反向还原与FPGA对应EDA工具的反向分析，以及FPGA芯片内部功能和布线资源的对应关系分析，是一种重复代码检测方法，具体的说是一种基于位流还原的可编程集成电路应用算法侵权判定方法。

背景技术：

随着半导体技术的发展，集成电路的规模越做越大；而现实生活中，人们对于系统的实时性要求也越来越强，因此，软件算法的硬件化，芯片化，越来越得到广泛的应用。而作为一个知识产权落实相对落后的国家而言，如何判定芯片层面的算法侵权，是一个越来越值得广泛关注的课题。

本发明是基于可编程集成电路的烧录文件，或称位流文件，进行加工、分析和判定的一种行为或者方法；这种方法的优点在于能够更直接的客观的获取知识产权侵权的证据，进而使得这类知识产权侵权的判定，能够得到清晰明确并且迅速的处理。

技术实现要素：

本发明的目的在于克服上述不足，提供一种基于位流还原的可编程集成电路应用算法侵权判定方法，本发明能够更直接的客观的获取知识产权侵权的证据，进而使得这类知识产权侵权的判定，能够得到清晰明确并且迅速的处理。

本发明的目的是这样实现的：一种基于位流还原的可编程集成电路应用算法侵权判定方法，包括以下步骤：

1、对应可编程集成电路的逻辑模型获取和位流映射，其中逻辑模型的获取，分为已有的模型库以及一般电路、反熔丝电路和支持无损还原等三种方法获得的模型库；

2、位流映射到对应的逻辑模型上以后，首先通过去位置约束，剔除位流物理位置影响，包括原子器件的逻辑定位，也包括原子器件Pin之间的可编程互联的位置信息；

3、将可编程集成电路进行逻辑分析，分割为时序和非时序：如果用户提供的两段样本，是烧录在同一型号的电路中，并且两段样本，都经过相应的逻辑还原，即为时序逻辑，那么门级逻辑对应相似度计算1，即可作为有效的侵权判定依据；如果样本是不同型号的电路烧录文件，那么考虑到不同公司的工艺和库文件差异，即为非时序逻辑，因此只能依赖算法分析之后的相似度计算2，作为判定依据，时序逻辑需要考察是否存在因为扇出上限制约或者布局布线需求而导致的逻辑拷贝，非时序则需要按照依托时序分割，为每一组信号，重新匹配，然后求其真值表；

4、依托处理后的时序和非时序逻辑的真值表库，以及芯片外围环境或者客户给出的端口功能描述，进行功能分析和验证；

5、最后，依托分析和验证后的还原模型，与客户提供的专利描述或者另一段还原模型，进行比对，并依托相似程度，给出侵权与否的判定结果。

本发明的优点在于：本发明能够更直接的客观的获取知识产权侵权的证据，进而使得这类知识产权侵权的判定，能够得到清晰明确并且迅速的处理，从而针对现有民用市场的电子产品山寨成风，难以遏制的不良现象，为集成电路设计类，尤其是可编程集成电路设计相关的电子产品的知识产权侵权判定，提供了客观并且直接的判定方法。

附图说明

附图1为本发明的侵权判定方法的流程图；

附图2为本发明的一般集成电路反向还原的流程图；

附图3为本发明的支持无损还原的电路反向还原的流程图；

附图4为本发明的相似度计算流程图。

具体实施方式

下面结合附图对本发明作进一步描述。

本发明为一种基于位流还原的可编程集成电路应用算法侵权判定方法，包括以下步骤（如附图1）：

1）首先对于用户提供的IC侵权仲裁样本，依据器件类型进行分类，一般分为支持无损还原类、反熔丝类和一般电路还原类三种；

2）将样本还原到对应的逻辑模型上，一般电路还原类流程图如附图2所示，支持无损还原类流程图如附图3所示，反熔丝类的集成电路，由于烧录内容已经在芯片可编程的熔丝点内，而不是在外置的ROM或者其他非易失性存储介质中，因此必须有方法能够提取芯片内的可编程信息(位流)，我们提供的方法是电压分析，具体而言分为差分电压分析PDA或者简单电压分析SPA，然后通过去位置约束，剔除位流物力定位影响；

3）按照附图3，将样本进行逻辑分析并分割为时序逻辑和组合逻辑：对时序逻辑进行优化并得到特征参数A和特征参数D，所述优化包括检测是否存在因为扇出上限制约或者布局布线需求而导致的逻辑拷贝，对组合逻辑进行算法分析，按照依托时序分割，为每一组信号重新匹配，求真值表，然后根据真值表得出特征参数B和特征参数C；

4）根据处理后的时序和组合逻辑的真值表库，以及芯片外围环境或者客户给出的端口功能描述，进行功能分析和验证；

5）将步骤4）得到的分析和验证后的待判定可的还原模型与用户自己的还原模型的特征参数进行相似度计算，并根据相似程度，给出侵权与否的判定结果。

最后应说明的是：显然，上述实施例仅仅是为清楚地说明本申请所作的举例，而并非对实施方式的限定。对于所属领域的普通技术人员来说，在上述说明的基础上还可以做出其它不同形式的变化或变动。这里无需也无法对所有的实施方式予以穷举。而由此所引申出的显而易见的变化或变动仍处于本申请型的保护范围之中。