[发明专利]一种复杂管脚芯片的验证方法

权利要求书

1.一种复杂管脚芯片的验证方法，其特征在于，采取形式验证方法，对芯片引脚接口模块的引脚与其他模块的连接关系进行验证；包括以下步骤：

步骤A：根据产品的引脚功能优先级的规定，建立相对应优先级数据；

步骤B：根据优先级数据，通过脚本生成形式验证模块；

步骤C：形式验证模块将引脚接口模块每个引脚相应的功能引入，进行比对，生成比对数据；

步骤D：将比对数据与优先级数据进行比较，并记录比较结果。

2.根据权利要求1所述的验证方法，其特征在于，所述步骤C采取随机激励比对，所述引脚相应的功能是针对引脚接口逻辑的所有输入，枚举输入所有可能的状态组合而成。

3.根据权利要求2所述的验证方法，其特征在于，所述步骤A建立的优先级数据包括芯片引脚数据、测试模式数据、功能模式数据。

4.根据权利要求3所述的验证方法，其特征在于，所述步骤A建立的优先级数据还包括引脚接口单元的输入输出信号数据、连接到该输入输出信号的顶层信号数据。

5.根据权利要求4所述的验证方法，其特征在于，所述步骤A建立的优先级数据是建立于电子表格应用程序的电子表格中。

6.根据权利要求5所述的验证方法，其特征在于，所述电子表格应用程序为微软EXCEL。