[发明专利]ATPG库模型生成系统

权利要求书

1.一种ATPG库模型生成系统，其特征在于，

包括预先构建的ATPG基本单元库{A₁，A₂，…，A_m，…，A_M}、存储有计算机程序的存储器和处理器，A_m为ATPG基本单元库中第m个ATPG基本单元，m的取值范围为1到M，M为ATPG基本单元库中ATPG基本单元的总数，A_m=(A1_m,A2_m,A3_m), A1_m为A_m的组成结构，A2_m为A_m的逻辑信息，A3_m为A_m的权重值，A_m的权重值和A_m在ATPG过程中所需成本成反比，当所述处理器执行所述计算机程序时，实现以下步骤：

步骤S1、获取待处理的标准单元库{B₁，B₂，…，B_n，…，B_N}和第一liberty文件, B_n为待处理的标准单元库中第n个标准单元，n的取值范围为1到N，NM，所述第一liberty文件中存储有每一B_n对应的逻辑信息和时序信息；

步骤S2、从所述第一liberty文件中提取B_n对应的待处理逻辑信息；

步骤S3、基于至少一个A_m的逻辑信息和组成结构组合生成与B_n对应的待处理逻辑信息的逻辑相同的候选ATPG库模型，构建候选ATPG库模型集合；

步骤S4、基于每一候选ATPG库模型对应的A_m的权重值，从所述候选ATPG库模型集合中选择总权重最大的候选ATPG库模型，作为B_n对应的待处理ATPG库模型；

步骤S5、基于B_n对应的待处理ATPG库模型和/或B_n对应的时序信息生成每一B_n对应的目标ATPG库模型。

2.根据权利要求1所述的系统，其特征在于，

所述步骤S1中，从预设的制程设计信息中获取待处理的标准单元库{B₁，B₂，…，B_n，…，B_N}和第一liberty文件。

3.根据权利要求1所述的系统，其特征在于，

若B_n包括具有扫描功能的寄存器，则所述步骤S2还包括：

步骤S21、从所述第一liberty文件中提取扫描链接入信息和扫描链控制信息；

所述步骤S5还包括：

步骤S51、基于所述扫描链接入信息，将所述B_n对应的目标ATPG库模型的数据输入端和扫描使能端标注到对应的ATPG库模型中，用于实现后续的扫描链的自动插入。

4.根据权利要求1所述的系统，其特征在于，

所述ATPG基本单元库包括基本逻辑ATPG基本单元、组合逻辑ATPG基本单元、基本时序逻辑ATPG基本单元和用于处理三态逻辑、上拉电阻和下拉电阻的ATPG基本单元；其中，所述基本逻辑ATPG基本单元包括缓冲器、反相器、与门、或门、与非门、或非门；所述组合逻辑ATPG基本单元包括多输入的与或非门、异或门、同或门和选择器；所述基本时序逻辑ATPG基本单元包括锁存器和寄存器。

5.根据权利要求1所述的系统，其特征在于，

每一ATPG基本单元均基于Verilog语言描述生成，每一B_n对应的目标ATPG库模型为基于Verilog语言的模型。